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 …
Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach
A Swikir - arXiv preprint arXiv:2412.16180, 2024 - arxiv.org
This paper introduces a compositional framework for constructing finite abstractions of
nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to …
nonlinear interconnected impulsive systems using dissipativity-based conditions. Central to …
Symbolic Models for Interconnected Impulsive Systems
In this paper, we present a compositional method-ology for constructing symbolic models of
nonlinear interconnected impulsive systems. Our approach relies on the concept of …
nonlinear interconnected impulsive systems. Our approach relies on the concept of …
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 …