Login / Signup
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization.
Kasra Ghasemi
Sadra Sadraddini
Calin Belta
Published in:
CoRR (2022)
Keyphrases
</>
temporal logic
model checking
dynamic constraints
distributed systems
satisfiability problem
modal logic
reactive systems
control system
decentralized control
computation tree logic
supply chain
peer to peer
complex systems
formal methods
concurrent systems
mazurkiewicz traces