Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems

• Applicants: Professor Dr.-Ing. Thomas Moor; Professor Dr.-Ing. Jörg Raisch
• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
• Term: from 2019 to 2022
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 412108828

• Final Report Year: 2023

Final Report Abstract

The emergence of technological systems with more and more autonomous modes of operation and several communicating components brought the necessity of new approaches to their modeling and control in order to guarantee their correct behavior. Discrete-Event Systems (DES) are dynamical systems governed by asynchronous occurrences of events. Such systems are typically encountered in so called man made systems, such as automated transport systems, automated manufacturing, and logistics in general. These application areas have stimulated the development of supervisory control of DES. The term “supervisory control” points to a control paradigm where the controller to be synthesized will disable certain events that may eventually lead to an unacceptable closed loop behavior, but will allow all other events. For this specific project, we focus our attention on a branch of supervisory control in which abstract models retain some detail of the physical timing of events sequences. This enables the explicit discussion of performance indicators like throughput or idle times. In our study, we use max-plus automata, timed Petri-nets, timed event graphs, and their generalizations to represent timed discrete-event dynamics. On this basis our main contribution consists of the development of efficient methods for the control of timed discrete-event systems. synthesis.

Publications

• Behaviour Equivalent Max-Plus Automata for a Class of Timed Petri Nets. IFAC-PapersOnLine, 53(4), 75-82.
  Triska, Lukas & Moor, Thomas
  
• Bounded Consistency of P-Time Event Graphs. 2020 59th IEEE Conference on Decision and Control (CDC), 79-85. IEEE.
  Zorzenon, Davide; Komenda, Jan & Raisch, Jorg
  
• Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics. Discrete Event Dynamic Systems, 31(4), 583-607.
  Triska, Lukas & Moor, Thomas
  
• Abstraction Based Supervisory Control for Non-Regular -Languages∗. IFAC-PapersOnLine, 55(28), 142-149.
  Triska, Lukas & Moor, Thomas
  
• Implementation of procedures for optimal control of timed event graphs with resource sharing. IFAC-PapersOnLine, 55(28), 220-227.
  Zorzenon, Davide; Schafaschek, Germano; Tirpák, Dominik; Moradi, Soraia; Hardouin, Laurent & Raisch, Jörg
  
• Periodic Trajectories in P-Time Event Graphs and the Non-Positive Circuit Weight Problem. IEEE Control Systems Letters, 6, 686-691.
  Zorzenon, Davide; Komenda, Jan & Raisch, Jorg
  
• Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks. IFAC-PapersOnLine, 55(28), 196-203.
  Zorzenon, Davide; Komenda, Jan & Raisch, Jörg
  
• The non-positive circuit weight problem in parametric graphs: A solution based on dioid theory. Discrete Applied Mathematics, 315, 56-70.
  Zorzenon, Davide; Komenda, Jan & Raisch, Jörg
  
• Weak Consistency of P-time Event Graphs. IFAC-PapersOnLine, 55(40), 19-24.
  Zorzenon, Davide; Balun, Jiří & Raisch, Jörg
  
• Event-Variant and Time-Variant (max,+) Systems. IEEE Transactions on Automatic Control, 69(2), 1045-1051.
  Trunk, Johannes; Cottenceau, Bertrand; Hardouin, Laurent & Raisch, Jörg