Discrete Event Dynamic Systems

Dynamic Min-Max Problems
pp. 111-134(24)
Authors: Schwiegelshohn U.; Thiele L.

An Undecidable Problem for Timed Automata
pp. 135-146(12)
Author: Puri A.

Synthesis of Controllers of Processes Modeled as Colored Petri Nets
pp. 147-169(23)
Authors: Makungu M.; Barbeau M.; St-Denis R.

Concurrent Sample Path Analysis of Discrete Event Systems
pp. 171-195(25)
Authors: Cassandras C.G.; Panayiotou C.G.