Modeling admissible behavior using event signals
暂无分享,去创建一个
[1] Hans-Michael Hanisch,et al. A modular plant modeling technique and related controller synthesis problems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
[2] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[3] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[4] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[5] MengChu Zhou,et al. Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .
[6] H.-M. Hanisch,et al. Integration of batch plant scheduling and control by means of hybrid net condition/event system model , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[7] MengChu Zhou,et al. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.
[8] Jan Thieme,et al. Towards a synthesis method for distributed safety controllers based on net condition/event systems , 1997, J. Intell. Manuf..
[9] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[10] P. Ramadge,et al. Modular feedback logic for discrete event systems , 1987 .
[11] H.-M. Hanisch,et al. Synthesis of supervisory controllers based on a novel representation of condition/event systems , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
[12] Valeriy Vyatkin,et al. A modeling approach for verification of IEC1499 function blocks using net condition/event systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).
[13] Hartmann J. Genrich,et al. The Calculus of Facts , 1976, MFCS.
[14] Hans-Michael Hanisch,et al. Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation , 1997, Eur. J. Control.
[15] Mohsen A. Jafari,et al. A Comparative Study of Synthesis Methods for Discrete Event Controllers , 1999, Formal Methods Syst. Des..
[16] Alessandro Giua,et al. Petri nets as discrete event models for supervisory control , 1992 .
[17] H.-M. Hanisch,et al. Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.
[18] Alessandro Giua,et al. A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..
[19] B.H. Krogh,et al. Petri Net based Models for Condition/Event Systems , 1991, 1991 American Control Conference.