Reuse of components in formal modeling and verification of distributed control systems
暂无分享,去创建一个
[1] Hans-Michael Hanisch. Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering , 2004, Abstract State Machines.
[2] Valeriy Vyatkin,et al. Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).
[3] Marcello Bonfè,et al. Design and verification of mechatronic object-oriented models for industrial control systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).
[4] Hervé Guéguen,et al. A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .
[5] Valeriy Vyatkin,et al. Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..
[6] R. W. Lewis. Modelling Distributed Control Systems Using IEC 61499 , 2001 .
[7] Valeriy Vyatkin,et al. Modelling and Verification of PLC-Based Systems Programmed with Ladder Diagrams , 2004 .
[8] Hans-Michael Hanisch,et al. A Signal Extension for Petri Nets and its Use in Controller Design , 2000, Fundam. Informaticae.
[9] Hans-Michael Hanisch,et al. Open Object-Oriented Modelling and Validation Framework for Modular Industrial Automation Systems , 2004 .
[10] Hans-Michael Hanisch,et al. Modeling and Verification of a Modular Level-Crossing Controller Design , 1999 .
[11] Valeriy Vyatkin,et al. Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..