Symmetry reductions for a class of discrete-event systems

Kurt Rohloff; Stéphane Lafortune

doi:10.1109/cdc.2004.1428603

Symmetry reductions for a class of discrete-event systems

Kurt Rohloff, Stéphane Lafortune

Research output: Contribution to journal › Conference article › peer-review

7 Scopus citations

Abstract

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 language	English (US)
Article number	TuA02.1
Pages (from-to)	38-44
Number of pages	7
Journal	Proceedings of the IEEE Conference on Decision and Control
Volume	1
DOIs	https://doi.org/10.1109/cdc.2004.1428603
State	Published - 2004
Externally published	Yes
Event	2004 43rd IEEE Conference on Decision and Control (CDC) - Nassau, Bahamas Duration: Dec 14 2004 → Dec 17 2004

All Science Journal Classification (ASJC) codes

Control and Systems Engineering
Modeling and Simulation
Control and Optimization

Access to Document

10.1109/cdc.2004.1428603

Cite this

@article{a630d840dd6f433eaed2080fcc72ba1b,

title = "Symmetry reductions for a class of discrete-event systems",

abstract = "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.",

author = "Kurt Rohloff and St{\'e}phane Lafortune",

year = "2004",

doi = "10.1109/cdc.2004.1428603",

language = "English (US)",

volume = "1",

pages = "38--44",

journal = "Proceedings of the IEEE Conference on Decision and Control",

issn = "0743-1546",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "2004 43rd IEEE Conference on Decision and Control (CDC) ; Conference date: 14-12-2004 Through 17-12-2004",

}

TY - JOUR

T1 - Symmetry reductions for a class of discrete-event systems

AU - Rohloff, Kurt

AU - Lafortune, Stéphane

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=14344251952&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=14344251952&partnerID=8YFLogxK

U2 - 10.1109/cdc.2004.1428603

DO - 10.1109/cdc.2004.1428603

M3 - Conference article

AN - SCOPUS:14344251952

SN - 0743-1546

VL - 1

SP - 38

EP - 44

JO - Proceedings of the IEEE Conference on Decision and Control

JF - Proceedings of the IEEE Conference on Decision and Control

M1 - TuA02.1

T2 - 2004 43rd IEEE Conference on Decision and Control (CDC)

Y2 - 14 December 2004 through 17 December 2004

ER -

Symmetry reductions for a class of discrete-event systems

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this