Robust stability and control for systems that combine continuous-time and discrete-time dynamics. This article is a tutorial on modeling the dynamics of hybrid systems, on the …
There is a growing interest in Industry and Academia in large scale composite systems where a number of physical processes are interfaced with intelligent units that control them …
A Donzé - … Aided Verification: 22nd International Conference, CAV …, 2010 - Springer
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 …
G Reissig, A Weber, M Rungger - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require …
A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful to abstract a system in a way that preserves the …
In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual …
M Kloetzer, C Belta - IEEE Transactions on Automatic Control, 2008 - ieeexplore.ieee.org
We consider the following problem: given a linear system and a linear temporal logic (LTL) formula over a set of linear predicates in its state variables, find a feedback control law with …
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most …
The last part of this volume focuses on hybrid dynamical systems, an area of research that has developed as a result of the increasing interaction, over the last several years, between …