Decentralized Verification for Dissipativity of Cascade Interconnected Systems.

Aris Kanellopoulos Kyriakos G. Vamvoudakis Vijay Gupta

Published in: CDC (2019)

Keyphrases

distributed systems
cooperative
complex systems
management system
expert systems
formal methods
peer to peer systems
computer vision
hidden markov models
computer systems
learning systems
model checking
security systems
open systems