Resilient abstraction-based controller design
We consider the computation of resilient controllers for perturbed non-linear dynamical
systems wrt linear-time temporal logic specifications. We address this problem through the …
systems wrt linear-time temporal logic specifications. We address this problem through the …
Plant model-based fault detection during aircraft takeoff using non-deterministic finite-state automata
F Settele, A Weber, A Knoll - Aerospace, 2020 - mdpi.com
In this note, the application of a plant model-based fault detection method for nonlinear
control systems on aircraft takeoff is introduced. This method utilizes non-deterministic finite …
control systems on aircraft takeoff is introduced. This method utilizes non-deterministic finite …
Accurate abstractions for controller synthesis with non-uniform disturbances
Y Bai, K Mallik - Formal Methods and Software Engineering: 22nd …, 2020 - Springer
Abstract Abstraction-Based Controller Synthesis (ABCS) is an emerging field for automatic
synthesis of correct-by-design controllers for non-linear dynamical systems in the presence …
synthesis of correct-by-design controllers for non-linear dynamical systems in the presence …
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
T Masciulli, G Pola - Automatica, 2021 - Elsevier
In this paper we consider a control problem where the plant is a continuous-time
incrementally stable nonlinear system, the controller is modeled as a finite state machine …
incrementally stable nonlinear system, the controller is modeled as a finite state machine …
Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems
K Mallik - 2022 - kluedo.ub.rptu.de
Controller design for continuous dynamical systems is a core algorithmic problem in the
design of cyber-physical systems (CPS). When the CPS application is safety critical …
design of cyber-physical systems (CPS). When the CPS application is safety critical …