Publication:4246817
From MaRDI portal
zbMath0961.93503MaRDI QIDQ4246817
Panos J. Antsaklis, Xenofon D. Koutsoukos
Publication date: 7 June 2001
93B51: Design techniques (robust design, computer-aided design, etc.)
93A13: Hierarchical systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching, On practical tracking of hybrid systems