Symbolic state estimation in bounded timed labeled Petri nets

[1]  N. Wu,et al.  Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets , 2022, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2]  Christoforos N. Hadjicostis,et al.  Observers for a Class of Timed Automata Based on Elapsed Time Graphs , 2022, IEEE Transactions on Automatic Control.

[3]  Claudio Sterle,et al.  Noninterference Enforcement via Supervisory Control in Bounded Petri Nets , 2021, IEEE Transactions on Automatic Control.

[4]  Rong Su,et al.  Synchronous Composition of Finite Interval Automata , 2019, 2019 IEEE 15th International Conference on Control and Automation (ICCA).

[5]  Naijun Zhan,et al.  The Opacity of Real-Time Automata , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Alessandro Giua,et al.  Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.

[7]  Christoforos N. Hadjicostis,et al.  Marking Observer in Labeled Petri Nets With Application to Supervisory Control , 2017, IEEE Transactions on Automatic Control.

[8]  Bengt Lennartson,et al.  Symbolic Supervisory Control of Timed Discrete Event Systems , 2015, IEEE Transactions on Control Systems Technology.

[9]  Franck Cassez,et al.  The Dark Side of Timed Opacity , 2009, ISA.

[10]  Gianfranco Ciardo,et al.  Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams , 2009, SOFSEM.

[11]  Knut Åkesson,et al.  Modeling of discrete event systems using finite automata with variables , 2007, 2007 46th IEEE Conference on Decision and Control.

[12]  Antonio Ramírez-Treviño,et al.  Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.

[13]  Altug Iftar,et al.  Supervisory controller design for timed Petri nets , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.

[14]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[15]  Maciej Koutny,et al.  Modelling Opacity Using Petri Nets , 2005, WISP@ICATPN.

[16]  Andrew S. Miner,et al.  Implicit GSPN reachability set generation using decision diagrams , 2004, Perform. Evaluation.

[17]  Radu I. Siminiceanu,et al.  Efficient Symbolic State-Space Construction for Asynchronous Systems , 2000, ICATPN.

[18]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[19]  R. Alur,et al.  Automata For Modeling Real-Time Systems , 1990, ICALP.

[20]  Patrice Bonhomme,et al.  State Estimation of Timed Labeled Petri Nets With Unobservable Transitions , 2014, IEEE Transactions on Automation Science and Engineering.

[21]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets definitions, properties, and applications , 1991 .