This paper outlines some preliminary work on the stability analysis of switched and hybrid
systems. The hybrid systems considered are those that combine continuous dynamics …

We present a technique based on the use of the quantifier elimination decision procedure
for real closed fields and simple theorem proving to construct a series of successively finer …

The avionics systems of modern aircraft must manage a complex array of continuous and
discrete dynamics that govern aircraft operations. Producing the software that implements …

Hybrid systems are models which combine discrete and continuous behavior. They occur
frequently in safety-critical applications in various domains such as health care …

A general optimal hybrid control problem which enables a direct maximum principle
approach is presented. Necessary conditions at switching time for controlled and …

We present a procedure for constructing sound finite-state discrete abstractions of hybrid
systems. This procedure uses ideas from predicate abstraction to abstract the discrete …

In this paper optimal control for hybrid systems will be discussed. While defining hybrid
systems as causal and consistent dynamical systems, a general formulation for an optimal …

Differential game logic (dG L) is a logic for specifying and verifying properties of hybrid
games, ie, games that combine discrete, continuous, and adversarial dynamics. Unlike …

We address a fundamental mismatch between the combinations of dynamics that occur in
cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern …

The interaction of software with a physical environment can cause complex, mixed
continuous-discrete behavior, also referred to as being hybrid. Formal verification can …