Combining fault detection and process optimization in manufacturing systems using First-Order Hybrid Petri Nets

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 1, Issue , 2001, Pages 40-45

  Balduzzi, F ^a   Di Febbraro, A ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER INTEGRATED MANUFACTURING; DATA TRANSFER; OPTIMIZATION; REAL TIME SYSTEMS;

HYBRID PETRI NETS;

PETRI NETS;

EID: 0034861223     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Modelling with generalized Stochastic Petri nets
2. First-Order Hybrid Petri Nets: A model for optimization and control
3. Decidability results in hybrid Petri nets
4. Modeling, safety verification and optimization of operating procedures in process systems using hybrid Petri nets
5. Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets
6. Diagnosability of discrete event systems and its applications
7. Petri nets: Properties, analysis and applications
8. Diagnosability of discrete event systems
9. Fault detection/monitoring using time petri nets
10. Fault detection and isolation in hybrid systems: A Petri-net approach