We present a Monte-Carlo optimization technique for finding system behaviors that falsify a
metric temporal logic (MTL) property. Our approach performs a random walk over the space …

Building Software for Simulation A unique guide to the design and implementation of
simulation software This book offers a concise introduction to the art of building simulation …

We present a Monte-Carlo optimization technique for finding inputs to a system that falsify a
given Metric Temporal Logic (MTL) property. Our approach performs a random walk over the …

Ever-increasing integrated circuit (IC) power densities and peak temperatures threaten
reliability, performance, and economical cooling. To address these challenges, thermal …

0146) As a result of continued IC process scaling, the importance of leakage power
consumption is increasing 31). Leakage accounts for 40% of the power consumption of …

Real environments in which agents operate are inherently dynamic—the environment
changes beyond the agents' control. We advocate that, for multi-agent simulation, this …

Монография посвящена проблеме построения оригинальных численных методов
решения задачи Коши для жестких систем обыкновенных дифференциальных …

This work is dedicated to the memory of Donato Trigiante who has been the first teacher of
Numerical Analysis of the second author. The authors remember Donato as a generous …

Most robot control and planning algorithms are complex, involving a combination of reactive
controllers, behavior-based controllers, and deliberative controllers. The switching between …

This article describes an algorithm for detecting the occurrence of events, which signify
discontinuities in the first derivative of the state variables, while simulating a set of …