Using Physical Stigmergy in Decentralized Optimization under Multiple Non-separable Constraints: Formal Methods and an Intelligent Lighting Example.
Theodore P. PavlicPublished in: IPDPS Workshops (2014)
Keyphrases
- formal methods
- constrained optimization
- formal analysis
- safety critical
- formal specification
- artificial intelligence
- physical constraints
- model checker
- multiagent systems
- knowledge based systems
- linear constraints
- multi agent
- real world
- provably correct
- model checking
- software development
- viewpoint
- case study
- reactive systems