Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis

Mapping Intimacies ◽

10.1109/case49439.2021.9551593 ◽

2021 ◽

Author(s):

Sander Thuijsman ◽

Michel Reniers ◽

Dennis Hendriks

Keyword(s):

Supervisor Synthesis

Download Full-text

An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation

2013 European Control Conference (ECC) ◽

10.23919/ecc.2013.6669190 ◽

2013 ◽

Author(s):

Jasen Markovski

Keyword(s):

Performance Evaluation ◽

Systems Engineering ◽

Integrated Systems ◽

Supervisor Synthesis ◽

And Performance

Download Full-text

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications

2008 47th IEEE Conference on Decision and Control ◽

10.1109/cdc.2008.4739115 ◽

2008 ◽

Author(s):

Yu Ru ◽

Maria Paola Cabasino ◽

Alessandro Giua ◽

Christoforos N. Hadjicostis

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2014.2303134 ◽

2014 ◽

Vol 22 (6) ◽

pp. 2368-2375 ◽

Author(s):

Zhennan Fei ◽

Sajed Miremadi ◽

Knut Akesson ◽

Bengt Lennartson

Keyword(s):

Finite Automata ◽

Supervisor Synthesis

Download Full-text

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations

10.1016/j.automatica.2018.04.006 ◽

2018 ◽

Vol 94 ◽

pp. 35-44 ◽

Author(s):

Rong Su

Keyword(s):

Cyber Attack ◽

Sensor Reading ◽

Supervisor Synthesis

Download Full-text

Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels

2019 IEEE 58th Conference on Decision and Control (CDC) ◽

10.1109/cdc40024.2019.9029888 ◽

2019 ◽

Author(s):

Yuting Zhu ◽

Liyong Lin ◽

Simon Ware ◽

Rong Su

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Communication Delays ◽

Event Systems ◽

Supervisor Synthesis

Download Full-text

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning

2015 American Control Conference (ACC) ◽

10.1109/acc.2015.7171174 ◽

2015 ◽

Author(s):

Bo Wu ◽

Hai Lin

Keyword(s):

Probabilistic Systems ◽

Supervisor Synthesis

Download Full-text

Combining supervisor synthesis and model checking

ACM Transactions on Embedded Computing Systems ◽

10.1145/1067915.1067920 ◽

2005 ◽

Vol 4 (2) ◽

pp. 331-362 ◽

Author(s):

Roberto Ziller ◽

Klaus Schneider

Keyword(s):

Model Checking ◽

Supervisor Synthesis

Download Full-text

Robust supervisor synthesis for automated manufacturing systems using Petri nets

2015 IEEE International Conference on Automation Science and Engineering (CASE) ◽

10.1109/coase.2015.7294234 ◽

2015 ◽

Author(s):

Yan Cheng ◽

HeSuan Hu ◽

Yang Liu

Keyword(s):

Manufacturing Systems ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Synthesis

Download Full-text

Using Model Checking to Solve Supervisor Synthesis Problems

Proceedings of the 44th IEEE Conference on Decision and Control ◽

10.1109/cdc.2005.1582580 ◽

2006 ◽

Author(s):

A. Morgenstern ◽

K. Schneider

Keyword(s):

Model Checking ◽

Supervisor Synthesis

Download Full-text

Supervisor Synthesis for Enforcing a Disjunction of GMECs on Controlled Petri Nets

2007 International Conference on Mechatronics and Automation ◽

10.1109/icma.2007.4303557 ◽

2007 ◽

Author(s):

Jiliang Luo ◽

Shouguang Wang

Keyword(s):

Supervisor Synthesis

Download Full-text