#### Filter Results:

- Full text PDF available (30)

#### Publication Year

1998

2016

- This year (0)
- Last 5 years (8)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by nite state machines. We nd an l-complete approximation (abstraction) l for , represent it by a nite state machine, and investigate the control problem for the… (More)

- Klaus Schmidt, Thomas Moor, Sebastian Perk
- IEEE Trans. Automat. Contr.
- 2008

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)

- T. Moor
- 1999

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)

- Thomas Moor, Jörg Raisch, J. Raisch
- 2002

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)

- Thomas Moor
- 2000

- Thomas Moor, Jörg Raisch, Siu O'Young
- Discrete Event Dynamic Systems
- 2002

- Thomas Moor, Siu O'Young
- 1998

This contribution deals with the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor representable by nite state machines. We nd the strongest l-complete approximation (abstraction) l for , represent it by a nite state machine , and investigate the control problem for the… (More)

- J. M. Davoren, Thomas Moor
- 2006

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)