Compositional abstractions of hybrid control systems

DOI10.1023/B:DISC.0000018571.14789.24zbMath1060.93070WikidataQ57582096 ScholiaQ57582096MaRDI QIDQ702842

D. Kharzeev

Publication date: 19 January 2005

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

large-scale systems; hybrid control systems; compositionality; abstractions

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

93A15: Large-scale systems

93A05: Axiomatic systems theory