Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

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 …

In recent years, formal methods have been extensively used in the design of autonomous
systems. By employing mathematically rigorous techniques, formal methods can provide …

Hybrid systems describe the interaction of software, described by finite models such as finite-
state machines, with the physical world, described by infinite models such as differential …

This paper investigates the problem of adaptive neural tracking control via output-feedback
for a class of switched uncertain nonlinear systems without the measurements of the system …

We introduce SCOTS a software tool for the automatic controller synthesis for nonlinear
control systems based on symbolic models, also known as discrete abstractions. The tool …

Finite-state models of control systems were proposed by several researchers as a
convenient mechanism to synthesize controllers enforcing complex specifications. Most …

We study the problem of asymptotically stabilizing a switched linear control system using
sampled and quantized measurements of its state. The switching is assumed to be slow …

We introduce a platform-based design methodology that uses contracts to specify and
abstract the components of a cyber-physical system (CPS), and provide formal support to the …

We present the DryVR framework for verifying hybrid control systems that are described by a
combination of a black-box simulator for trajectories and a white-box transition graph …