Discriminability Analysis of Supervision Patterns by Net Unfoldings
- 1 January 2014
- journal article
- Published by Elsevier BV in IFAC Proceedings Volumes
- Vol. 47 (2), 459-464
- https://doi.org/10.3182/20140514-3-fr-4046.00136
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier NetsIEEE Transactions on Automatic Control, 2012
- On-line fault detection in discrete event systems by Petri nets and integer linear programmingAutomatica, 2009
- An Efficient Approach for Online Diagnosis of Discrete Event SystemsIEEE Transactions on Automatic Control, 2009
- Diagnosis of behaviors of interest in partially-observed discrete-event systemsSystems & Control Letters, 2008
- Diagnosis of asynchronous discrete-event systems: a net unfolding approachIEEE Transactions on Automatic Control, 2003
- Diagnosis of repeated/intermittent failures in discrete event systemsIEEE Transactions on Robotics and Automation, 2003
- An Improvement of McMillan's Unfolding AlgorithmFormal Methods in System Design, 2002
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995
- A technique of state space search based on unfoldingFormal Methods in System Design, 1995
- ACM Computing Surveys, 1977