Hierarchical discrete event systems with inputs and outputs

2006-12-01
Perk, Sebastian
Moor, Thomas
Schmidt, Klaus Verner
We propose a framework for the hierarchical design of discrete event systems that addresses both safety and liveness properties. Technically, we build on a notion of inputs and outputs that is closely related to J.C. Willems' behavioural systems theory. We develop a structural admissibility condition that allows for abstraction-based controller synthesis similar to previous work on hybrid control systems. A key feature of our framework is an alternation of subsystem composition and controller synthesis that is expected to be computationally efficient whenever the complexity of the safety specifications is independent of the respective layer in the hierarchy.
Citation Formats
S. Perk, T. Moor, and K. V. Schmidt, “Hierarchical discrete event systems with inputs and outputs,” presented at the Hierarchical discrete event systems with inputs and outputs, 8th International Workshop on Discrete Event Systems, WODES 2006, Ann Arbor, MI, Amerika Birleşik Devletleri, 10 - 12 Temmuz 2006, Ann Arbor, MI, Amerika Birleşik Devletleri, 2006, Accessed: 00, 2021. [Online]. Available: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=34250636226&origin=inward.