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.
|Title of host publication||43rd IEEE conference on decision and control : Nassau, Bahamas, 14-17 December 2004|
|Place of Publication||Piscataway|
|Publisher||Institute of Electrical and Electronics Engineers|
|Publication status||Published - 2004|