A method using convex autoencoders and kernel-based learning creates a finite abstraction in latent space that overapproximates unknown dynamical systems, enabling scalable verification with correctness guarantees that transfer back to the original system.
2009.Verification and control of hybrid systems: a symbolic approach
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
A survey frames CPS resilience through five themes and illustrates them in connected transportation and medical systems to provide a roadmap for real-world resilience.
citing papers explorer
-
Verification of Unknown Dynamical Systems via Autoencoder Latent Space
A method using convex autoencoders and kernel-based learning creates a finite abstraction in latent space that overapproximates unknown dynamical systems, enabling scalable verification with correctness guarantees that transfer back to the original system.
-
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
A survey frames CPS resilience through five themes and illustrates them in connected transportation and medical systems to provide a roadmap for real-world resilience.