Thomas Moor

Discret. Event Dyn. Syst., 2024

2021

Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics.

[BibT_eX]

[DOI]

Lukas Triska

Discret. Event Dyn. Syst., 2021

Compositional Verification of Finite Automata under Event Preemption.

[BibT_eX]

[DOI]

Yiheng Tang

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Refinements of behavioural abstractions for the supervisory control of hybrid systems.

[BibT_eX]

[DOI]

Jung-Min Yang

Discret. Event Dyn. Syst., 2020

On the relation between reactive synthesis and supervisory control of non-terminating processes.

[BibT_eX]

[DOI]

Anne-Kathrin Schmuck

Rupak Majumdar

Discret. Event Dyn. Syst., 2020

2019

SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time.

[BibT_eX]

[DOI]

Xi Wang

Zhiwu Li

Discret. Event Dyn. Syst., 2019

2017

Consistent abstractions for the supervision of sequential behaviours.

[BibT_eX]

[DOI]

Xiaoying Bai

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

A discussion of fault-tolerant supervisory control in terms of formal languages.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2016

2015

A hierarchical and modular control architecture for sequential behaviours.

[BibT_eX]

[DOI]

Christine Baier

Discret. Event Dyn. Syst., 2015

2014

Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Consistent abstractions for the purpose of supervisory control.

[BibT_eX]

[DOI]

Christine Baier

Thomas Wittmann

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Special issue on recent trends in discrete event systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2012

On the computation of supremal sublanguages relevant to supervisory control.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A hierarchical control architecture for sequential behaviours.

[BibT_eX]

[DOI]

Christine Baier

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Fuzzy Hybrid Systems modeling with application in decision making and control.

[BibT_eX]

[DOI]

Yiannis S. Boutalis

Klaus Schmidt

Proceedings of the 6th IEEE International Conference on Intelligent Systems, 2012

2010

Distributed state estimation for hybrid and discrete event systems using l-complete approximations.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Applied supervisory control for a flexible manufacturing system.

[BibT_eX]

[DOI]

Klaus Schmidt

Sebastian Perk

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2008

Nonblocking Hierarchical Control of Decentralized Discrete Event Systems.

[BibT_eX]

[DOI]

Klaus Schmidt

Sebastian Perk

IEEE Trans. Autom. Control., 2008

2006

Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives.

[BibT_eX]

[DOI]

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

A Hierarchical Architecture for Nonblocking Control of Discrete Event Systems.

[BibT_eX]

[DOI]

Klaus Werner Schmidt

Sebastian Perk

Proceedings of the Intelligent Control, 2005

2004

Non-deterministic Temporal Logics for General Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques, 2004

2003

A two-level hybrid control strategy for the start-up of a coupled distillation plant.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems<sup>1</sup>.

[BibT_eX]

[DOI]

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002

Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations.

[BibT_eX]

[DOI]

Siu O'Young

Discret. Event Dyn. Syst., 2002

Hybrid Control Loops, A/D Maps, and Dynamic Specifications.

[BibT_eX]

[DOI]

Anil Nerode

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

Robust hybrid control from a behavioural perspective.

[BibT_eX]

[DOI]

Brian D. O. Anderson

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Robust Controller Synthesis for Hybrid Systems Using Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Hierarchical strategies for hybrid process control problems.

[BibT_eX]

[DOI]

Alexander Itigin

Proceedings of the 6th European Control Conference, 2001

Modular supervisory control of a class of hybrid systems in a behavioural framework.

[BibT_eX]

[DOI]

Proceedings of the 6th European Control Conference, 2001

Computational advantages of a two-level hybrid control architecture.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Approximationsbasierter Entwurf diskreter Steuerungen für gemischtwertige Regelstrecken.

[BibT_eX]

[DOI]

PhD thesis, 2000

Approximation of multiple switched flow systems for the purpose of control synthesis.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Discrete control of switched linear systems.

[BibT_eX]

[DOI]