Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.
Kasra GhasemiSadra SadraddiniCalin BeltaPublished in: CDC (2022)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- distributed systems
- cooperative
- complex systems
- verification method
- reactive systems
- modal logic
- mazurkiewicz traces
- artificial intelligence
- decentralized control
- temporal knowledge
- satisfiability problem
- software engineering
- belief revision
- temporal properties
- domain independent
- peer to peer
- transition systems
- knowledge base