| Publication | Date of Publication | Type |
|---|
| Supervisory controller synthesis and implementation for safety PLCs | 2022-04-21 | Paper |
| Compositional coordinator synthesis of extended finite automata | 2021-12-09 | Paper |
| Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices | 2020-10-07 | Paper |
| Modeling for supervisor synthesis -- a lock-bridge combination case study | 2020-09-01 | Paper |
| Distributed Control of Manufacturing Networks: Analysis of Performance | 2018-12-12 | Paper |
| Declaration of unknowns in DAE-based hybrid system specification | 2018-06-12 | Paper |
| The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces | 2017-09-08 | Paper |
| Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis | 2017-08-25 | Paper |
| Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction | 2017-08-25 | Paper |
| A Negative Bendixson-Like Criterion for a Class of Hybrid Systems | 2017-07-27 | Paper |
| Model-based engineering of embedded systems using the hybrid process algebra Chi | 2014-01-17 | Paper |
| Relating hybrid chi to other formalisms | 2013-12-06 | Paper |
| Block-separable linking constraints in augmented Lagrangian coordination | 2013-11-15 | Paper |
| A classification of methods for distributed system optimization based on formulation structure | 2013-11-15 | Paper |
| Multi-modality in augmented Lagrangian coordination for distributed optimal design | 2013-11-15 | Paper |
| First-order sequential convex programming using approximate diagonal QP subproblems | 2013-11-15 | Paper |
| Incomplete series expansion for function approximation | 2013-10-25 | Paper |
| Application of supervisory control theory to theme park vehicles | 2013-07-09 | Paper |
| Performance analysis of a manufacturing line operated under optimal surplus-based production control | 2013-06-11 | Paper |
| Syntax and semantics of the compositional interchange format for hybrid systems | 2013-01-18 | Paper |
| Designs of optimal switching feedback decentralized control policies for fluid queueing networks | 2012-12-19 | Paper |
| Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems | 2012-08-27 | Paper |
| An augmented Lagrangian relaxation for analytical target cascading using the alternating direction method of multipliers | 2012-08-25 | Paper |
| Optimal control of a deterministic multiclass queuing system for which several queues can be served simultaneously | 2011-07-27 | Paper |
| Design of Convergent Switched Systems | 2011-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3162386 | 2010-10-19 | Paper |
| Augmented Lagrangian coordination for distributed optimal design in MDO | 2010-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5748138 | 2010-09-14 | Paper |
| Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting | 2010-09-10 | Paper |
| Nonconflict check by using sequential automaton abstractions based on weak observation equivalence | 2010-06-17 | Paper |
| Foundations of a Compositional Interchange Format for Hybrid Systems | 2009-03-11 | Paper |
| OEEand equipment effectiveness: an evaluation | 2008-02-25 | Paper |
| Syntax and consistent equation semantics of hybrid Chi | 2006-04-28 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal | 2005-10-17 | Paper |
| Analysis of an industrial system | 2003-05-11 | Paper |
| Index Reduction and Discontinuity Handling Using Substitute Equations | 2001-01-01 | Paper |
| A new mechanism for exception handling in concurrent control systems | 1997-03-25 | Paper |
