State Estimation of ?-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
- 1 March 2005
- journal article
- Published by Springer Nature in Discrete Event Dynamic Systems
- Vol. 15 (1), 85-108
- https://doi.org/10.1007/s10626-005-5239-4
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock RecoveryIEEE Transactions on Automatic Control, 2004
- Classical and logic based regulator design and its complexity for partially observed automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Dynamical logic observers for finite automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Identification in discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Observability of place/transition netsIEEE Transactions on Automatic Control, 2002
- Petri Net Languages and Infinite Subsets of NmJournal of Computer and System Sciences, 1999
- Predicates and predicate transformers for supervisory control of discrete event dynamical systemsIEEE Transactions on Automatic Control, 1993
- Observability of discrete event dynamic systemsIEEE Transactions on Automatic Control, 1990
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Observability of discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986