Learn More
This contribution investigates the hierarchical control of decentralized discrete event systems (DES) that are synchronized by shared events. A hierarchical control architecture providing hierarchical consistency is introduced. Moreover, it allows for composition of decentralized subsystems on the high-level of the hierarchy and hence reduces the(More)
Switched linear systems exhibit a continuous state evolving along the continuous flow of time according to linear time invariant differential equations. Furthermore, a discrete interface to the environment is provided, acting on input signals by switching between a finite number of differential equations and generating output signals when the continuous(More)
In this paper, we use the constructs of branching temporal logic to formalize reasoning about a class of general flow systems, including discretetime transition systems, continuous-time differential inclusions, and hybrid-time systems such as hybrid automata. We introduce Full General Flow Logic, GFL, which has essentially the same syntax as the well-known(More)
ion Based Supervisory Controller Synthesis for High Order Monotone Continuous Systems Thomas Moor1 and Jörg Raisch2 1 Research School of Information Sciences and Engineering Australian National University, Canberra 2 Lehrstuhl für Systemtheorie technischer Prozesse Otto-von-Guericke Universität Magdeburg, and Systems and Control Theory Group(More)
A reactive system is an entity which takes as inputs signals from a certain set, and transforms them to produce as outputs signals in some further set, where a signal is modeled as a function from a time domain to a value space, and time domains are linearly ordered sets. Building on our previous work which generalizes Aubin’s Evolutionary Systems model, we(More)
A common approach to hybrid control problems is to alternate refinement of a plant abstraction with trial controller synthesis performed on the current abstraction. These steps are repeated until a solution to the control problem can be found, or computational resources are exhausted. In this contribution we use a temporal decomposition of the control(More)