论文信息 - A modular plant modeling technique and related controller synthesis problems

A modular plant modeling technique and related controller synthesis problems

Models of uncontrolled plant behavior are required to use formal methods of logical controller synthesis. We present a modular, hierarchical, efficient technique for designing such models. Notions of controllability and observability are given, and some related synthesis problems are stated.

[1] A. P. Sistla,et al. Automatic verification of finite-state concurrent systems using temporal logic specifications , 1986, TOPL.

[2] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .

[3] Bruce H. Krogh,et al. On condition/event systems with discrete state realizations , 1991, Discret. Event Dyn. Syst..

[4] B.A. Brandin,et al. The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[5] Alessandro Giua,et al. A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[6] H.-M. Hanisch,et al. Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[7] Arndt Luder,et al. Logic controller synthesis for net condition/event systems with forbidden paths , 1997, 1997 European Control Conference (ECC).

[8] Hans-Michael Hanisch,et al. Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation , 1997, Eur. J. Control.

[9] Monika Heiner. Petri Net Based System Analysis without State Explosion , 1998 .