Closed Form Solutions of Hybrid Systems

Dr. Martin v. Mohrenschildt


Abstract

In this paper we present a new symbolic approach to hybrid systems. Hybrid systems are systems containing both, continuous and discrete changing quantities. We model hybrid systems using hybrid automata: Hybrid automata extend the classical notion of finite state machines by combining differential equations to model the dynamic behavior of systems with a finite control. In contrast to other approaches we consider a hybrid automata as a generalization of differential equations and develop the notion of a symbolic ``closed form" solution of a hybrid automata. A closed form solution is an expression which gives the value of the quantities in question as a function of design parameters and time. These solutions allow us to perform the verification of design properties. We were able to detect design constrains on control systems that other methods fail to detect. This paper gives the basic definitions, algorithms, and an example to demonstrate the advantage of the proposed approach.