Combined Supervisor Synthesis Based on Constraint Transformation

2007 IEEE International Conference on Integration Technology ◽

10.1109/icitechnology.2007.4290435 ◽

2007 ◽

Author(s):

Jiliang Luo ◽

Fujiang Jin ◽

Caihong Huang

Keyword(s):

Supervisor Synthesis ◽

Constraint Transformation

Download Full-text

Maximally permissive supervisor synthesis based on a new constraint transformation method

Automatica ◽

10.1016/j.automatica.2012.02.002 ◽

2012 ◽

Vol 48 (6) ◽

pp. 1097-1101 ◽

Cited By ~ 17

Author(s):

Jiliang Luo ◽

Hui Shao ◽

Kenzo Nonami ◽

Fujiang Jin

Keyword(s):

Transformation Method ◽

Supervisor Synthesis ◽

Constraint Transformation

Download Full-text

Comments on “Maximally permissive supervisor synthesis based on a new constraint transformation method” [Automatica 48 (2012), 1097–1101]

Automatica ◽

10.1016/j.automatica.2014.10.099 ◽

2015 ◽

Vol 51 ◽

pp. 131-134 ◽

Cited By ~ 4

Author(s):

Ziyue Ma ◽

Zhiwu Li ◽

Alessandro Giua

Keyword(s):

Transformation Method ◽

Supervisor Synthesis ◽

Constraint Transformation

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 10

Author(s):

Zhennan Fei ◽

Sajed Miremadi ◽

Knut Akesson ◽

Bengt Lennartson

Keyword(s):

Finite Automata ◽

Supervisor Synthesis

Download Full-text

A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2017.2665479 ◽

2018 ◽

Vol 48 (8) ◽

pp. 1403-1410 ◽

Cited By ~ 25

Author(s):

Shouguang Wang ◽

Dan You ◽

Carla Seatzu

Keyword(s):

Petri Nets ◽

Novel Approach ◽

Constraint Transformation

Download Full-text

Weighted Cross-Product Constraint Transformation to Optimize Spatial Structure of Data

2021 4th International Conference on Artificial Intelligence and Big Data (ICAIBD) ◽

10.1109/icaibd51990.2021.9459085 ◽

2021 ◽

Author(s):

Siqing Wang ◽

Deqi Li ◽

Xin Zhang ◽

Shutao Zhang

Keyword(s):

Spatial Structure ◽

Cross Product ◽

Constraint Transformation

Download Full-text

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations

Automatica ◽

10.1016/j.automatica.2018.04.006 ◽

2018 ◽

Vol 94 ◽

pp. 35-44 ◽

Cited By ~ 19

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 6

Author(s):

Bo Wu ◽

Hai Lin

Keyword(s):

Probabilistic Systems ◽

Supervisor Synthesis

Download Full-text