The problem of planning for a robot that operates in environments containing a large
number of objects, taking actions to move itself through the world as well as to change the …

In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …

l\lany systems encountered in practice involve a coupling between contin uous dynamics
and discrete events. Systems in which these two kinds of dynamics coexist and interact are …

Cyber-physical systems (CPSs) are the next generation of engineered systems in which
computing, communication, and control technologies are tightly integrated. Research on …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

This paper provides a framework to automatically generate a hybrid controller that
guarantees that the robot can achieve its task when a robot model, a class of admissible …

This paper describes current work on framing the model predictive control (MPC) of cyber-
physical systems as synthesis from signal temporal logic (STL) specifications. We provide a …

Hybrid automata provide a language for modeling and analyzing digital and analogue
computations in real-time systems. Hybrid automata are studied here from a dynamical …

This paper presents a methodology for safety verification of continuous and hybrid systems
in the worst-case and stochastic settings. In the worst-case setting, a function of state termed …

Abstract We describe Breach, a Matlab/C++ toolbox providing a coherent set of simulation-
based techniques aimed at the analysis of deterministic models of hybrid dynamical …