Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach
In this article, we focus on mitigating the computational complexity in abstraction-based
controller synthesis for interconnected control systems. To do so, we provide a …
controller synthesis for interconnected control systems. To do so, we provide a …
Formally Verified Switching Logic for Recoverability of Aircraft Controller
R Lal, A McKinnis, D Hauptman, S Keshmiri… - … Aided Verification: 33rd …, 2021 - Springer
In this paper, we investigate the design of a safe hybrid controller for an aircraft that switches
between a classical linear quadratic regulator (LQR) controller and a more intelligent …
between a classical linear quadratic regulator (LQR) controller and a more intelligent …
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems
R Lal, P Prabhakar - Proceedings of the 17th ACM-IEEE International …, 2019 - dl.acm.org
We consider the problem of bounded time safety verification of interconnections of input-
output continuous dynamical systems. We present a compositional framework for computing …
output continuous dynamical systems. We present a compositional framework for computing …
Verifying Band Convergence for Sampled Control Systems
We present a method to verify transient and settling time properties, called band
convergence properties, of digitally controlled continuous systems, wherein we consider a …
convergence properties, of digitally controlled continuous systems, wherein we consider a …