A formal validation approach for holonic control system specifications.
Paulo LeitãoArmando W. ColomboFrancisco J. RestivoPublished in: ETFA (1) (2003)
Keyphrases
- control system
- control architecture
- formal specification
- holonic manufacturing systems
- multi agent
- formal language
- manufacturing systems
- multi agent systems
- fuzzy logic
- formal descriptions
- control strategy
- reactive systems
- closed loop
- requirements specification
- operational semantics
- traffic signal
- controller design
- intelligent control
- formal methods
- supply chain management
- fuzzy control
- control scheme
- control algorithm
- high level
- control law
- real time
- control method
- formal model
- delay insensitive
- controlled natural language
- finite state machines
- fuzzy controller
- programming language
- mobile robot
- reinforcement learning