An Approach to the Formal Specification of Holonic Control Systems.
Paulo LeitãoArmando W. ColomboFrancisco J. RestivoPublished in: HoloMAS (2003)
Keyphrases
- formal specification
- control system
- control architecture
- holonic manufacturing systems
- model checking
- manufacturing systems
- multi agent systems
- object oriented design
- multi agent
- specification language
- specification languages
- concurrent systems
- reverse engineering
- process algebra
- formal methods
- data abstraction
- real time
- fuzzy logic
- model checker
- software components
- control strategy
- robotic systems
- cooperative
- case study
- formal specification language
- knowledge based systems
- artificial intelligence