State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
暂无分享,去创建一个
[1] S. Balemi. Control of discrete event systems , 1992 .
[2] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[3] A. Malo,et al. Identification in discrete event systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
[4] Alessandro Giua,et al. Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..
[5] Vijay K. Garg,et al. Predicates and predicate transformers for supervisory control of discrete event dynamical systems , 1993, IEEE Trans. Autom. Control..
[6] Bonaventure Intercontinental,et al. ON DECISION AND CONTROL , 1985 .
[7] Peter E. Caines,et al. Classical and logic based regulator design and its complexity for partially observed automata , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.
[8] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[9] Alessandro Giua,et al. Marking Estimation of Petri Nets With Silent Transitions , 2007, IEEE Transactions on Automatic Control.
[10] P. Ramadge. Observability of discrete event systems , 1986, 1986 25th IEEE Conference on Decision and Control.
[11] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .
[12] Alessandro Giua,et al. Petri Net Languages and Infinite Subsets of m , 1999, J. Comput. Syst. Sci..
[13] Alessandro Giua,et al. MARKING ESTIMATION OF PETRI NETS WITH λ-FREE LABELING , 2003 .
[14] R. Greiner,et al. Dynamical logic observers for finite automata , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.
[15] Alessandro Giua,et al. Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.
[16] A. Willsky,et al. Observability of discrete event dynamic systems , 1990 .