Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
Marco GribaudoAndrás HorváthAndrea BobbioEnrico TronciEster CiancamerlaMichele MinichinoPublished in: SAFECOMP (2002)
Keyphrases
- petri net
- temperature control
- partial order reduction
- model checking
- control algorithm
- temporal logic
- process algebra
- pid controller
- control system
- pi controller
- concurrent systems
- colored petri nets
- formal verification
- formal specification
- manufacturing systems
- service composition
- finite state machines
- pid control
- control strategy
- fuzzy control
- epistemic logic
- reactive systems
- model checker
- control method
- verification method
- fuzzy logic controller
- formal methods
- monitoring system