Convex equations and differential inclusions in hybrid systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publication43rd IEEE conference on decision and control : Nassau, Bahamas, 14-17 December 2004
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages1424-1429
ISBN (Print)0-7803-8682-5
Publication statusPublished - 2004

Fingerprint Dive into the research topics of 'Convex equations and differential inclusions in hybrid systems'. Together they form a unique fingerprint.

Cite this