Symmetry reductions for a class of discrete-event systems

Kurt Rohloff, Stéphane Lafortune

Research output: Contribution to journalConference articlepeer-review

7 Scopus citations


Issues related to the control and verification of isomorphic modular discrete-event systems are investigated. A finite state automaton system model is considered for the system modules where a set of atomic propositions are defined on the states. A type of symmetry is defined for these modular systems and a restriction of the μ-calculus designed for these systems is introduced. A procedure is shown to reduce the cost in computation time and memory for testing if symmetric modular systems satisfy propositions in this μ-calculus. An example of a symmetric modular UAV platoon leader system is then shown and discussed.

Original languageEnglish (US)
Article numberTuA02.1
Pages (from-to)38-44
Number of pages7
JournalProceedings of the IEEE Conference on Decision and Control
StatePublished - 2004
Externally publishedYes
Event2004 43rd IEEE Conference on Decision and Control (CDC) - Nassau, Bahamas
Duration: Dec 14 2004Dec 17 2004

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization


Dive into the research topics of 'Symmetry reductions for a class of discrete-event systems'. Together they form a unique fingerprint.

Cite this