Rule-based composable modelling of industrial automation automata under nominal and faulty conditions

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn , Issue , 2009, Pages 1384-1389

  Tilli, Andrea ^a   Paoli, Andrea ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Composable modelling; Discrete events dynamical systems; Fault modelling; Modelling of industrial automation systems

Indexed keywords

BEHAVIORAL RULES; COMPOSABILITY; COMPOSABLE MODELLING; DISCRETE EVENT DYNAMICAL SYSTEM; DISCRETE EVENTS; FAULT EVENT; FAULT MODELLING; FAULTY CONDITION; FORMAL ANALYSIS; INDUSTRIAL AUTOMATION; INDUSTRIAL AUTOMATION SYSTEM; MODELLING METHODOLOGY; MULTI-MODEL; PARALLEL COMPOSITION; RULE BASED; SET OF RULES; STATECHARTS;

AUTOMATION; DYNAMICAL SYSTEMS; EXPLOSIONS; INDUSTRY; KNOWLEDGE BASED SYSTEMS;

ACCIDENT PREVENTION;

EID: 79960916010     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20090630-4-ES-2003.0355     Document Type: Conference Paper

References (14)

1. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems - Second Edition. Springer, 2007.
2. E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten. Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007.
3. E. Faldella, A. Paoli, M. Sartini, and A. Tilli. Hierachical control architectures in industrial automation: a design approach based on the generalized actuator concept. Proceedings of the 17th IFAC World Congress, 2008.
4. C. Hadjicostis. Probabilistic fault detection in finite-state machines based on state occupancy measurements. IEEE Transactions on Automatic Control, 50(12):2078 - 2083, 2005. (Pubitemid 43056324)
5. D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231 - 274, 1987. (Pubitemid 17617706)
6. S. Jiang and R. Kumar. Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. IEEE Transactions on Automation Science and Engineering, 3(1):47 - 59, 2006. (Pubitemid 46404971)
7. O. Kamach, L. Pitrac, and E. Niel. Multi-model approach to discrete events systems: Application to operating mode management. Mathematics and Computers in Simulation, 70(5):394-407, 2006. (Pubitemid 43207559)
8. J. Lunze. Fault diagnosis of discretely controlled continuous systems by means of discrete-event models. Discrete Event Dynamic Systems: Theory and Applications, 18 (2):181-210, 2008. (Pubitemid 351642166)
9. A. Paoli and S. Lafortune. Diagnosability analysis of a class of hierarchical state machines. Discrete Event Dynamic Systems: Theory and Applications, 18(3):385-413, 2008.
10. A. Paoli and S. Lafortune. Safe diagnosability for fault tolerant supervision of discrete event systems. Automatica, 41(8):1335 - 1347, 2005. (Pubitemid 40774089)
11. A. Paoli, M. Sartini, and S. Lafortune. A fault tolerant architecture for supervisory control of discrete event systems. Proceedings of the 17th IFAC World Congress, 2008.
12. M. Sampath, R. Sangupta, and S. Lafortune. Diagnos-ability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555 - 1575, 1995.
13. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamo-hideen, and D.C. Teneketzis. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105 - 124, 1996. (Pubitemid 126782836)
14. Q. Wen, R. Kumar, J. Huang, and H. Liu. Fault-tolerant supervisory control of discrete event systems: formalisation and existence results. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007.