Differential equations with discontinuous right hand sides enable modeling and analysis of control systems with switching elements at a high level of abstraction. Solutions of these differential equations are based on the Filippov, Utkin or similar solution concepts. These solution concepts are in general inconvenient for modeling and verification using formal languages, because they lead to ambiguities in differential algebraic equations. This paper introduces convex equations to avoid such ambiguities in formallanguages. Convex equations integrate the functionality of the Filippov solution concept with much of the Utkin solution concept in general differential algebraic equations. A formal semantics of convex equations is given, and an example model is specified using a combined discrete-event / continuous-time formalism.
|Titel||43rd IEEE conference on decision and control : Nassau, Bahamas, 14-17 December 2004|
|Plaats van productie||Piscataway|
|Uitgeverij||Institute of Electrical and Electronics Engineers|
|ISBN van geprinte versie||0-7803-8682-5|
|Status||Gepubliceerd - 2004|
Beek, van, D. A., Pogromski, A. Y., Nijmeijer, H., & Rooda, J. E. (2004). Convex equations and differential inclusions in hybrid systems. In 43rd IEEE conference on decision and control : Nassau, Bahamas, 14-17 December 2004 (blz. 1424-1429). Institute of Electrical and Electronics Engineers.