Survey on automated symbolic verification and its application for synthesising cyber‐physical systems
LC Cordeiro, EB de Lima Filho… - IET Cyber‐Physical …, 2020 - Wiley Online Library
Dependency on the correct operation of embedded systems is rapidly growing, mainly due
to their wide range of applications. Their structures are becoming more complex and …
to their wide range of applications. Their structures are becoming more complex and …
Non-fragile consensus control for singular multi-agent systems with Lipschitz nonlinear dynamics
X Jiang, G Xia, Z Feng - Neurocomputing, 2019 - Elsevier
In this paper, the problem of non-fragile consensus control for continuous-time singular multi-
agent systems with respect to Lipschitz nonlinear dynamics is investigated. Considerations …
agent systems with respect to Lipschitz nonlinear dynamics is investigated. Considerations …
Automated formal synthesis of digital controllers for state-space physical plants
We present a sound and automated approach to synthesize safe digital feedback controllers
for physical plants represented as linear, time-invariant models. Models are given as …
for physical plants represented as linear, time-invariant models. Models are given as …
Non‐fragile control for a class of fractional‐order uncertain linear systems with time‐delay
L Chen, T Li, R Wu, YQ Chen… - IET Control Theory & …, 2020 - Wiley Online Library
This study addresses the non‐fragile controller design of a class of fractional‐order (FO)
linear delayed systems assumed to have structured uncertainties in both the plant and the …
linear delayed systems assumed to have structured uncertainties in both the plant and the …
DSVerifier-aided verification applied to attitude control software in unmanned aerial vehicles
During the last decades, model checking techniques have been applied to improve overall
system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little …
system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little …
Stability analysis of nonlinear digital systems under hardware overflow constraint for dealing with finite word-length effects of digital technologies
The purpose of this paper is to examine stability and originate stability criteria for nonlinear
digital systems under the influence of saturation overflow, both in the absence and presence …
digital systems under the influence of saturation overflow, both in the absence and presence …
Sound and automated synthesis of digital stabilizing controllers for continuous plants
Modern control is implemented with digital microcontrollers, embedded within a dynamical
plant that represents physical components. We present a new algorithm based on …
plant that represents physical components. We present a new algorithm based on …
Verifying fragility in digital systems with uncertainties using DSVerifier v2. 0
Control-system robustness verification with respect to implementation aspects lacks
automated verification approaches for checking stability and performance of uncertain …
automated verification approaches for checking stability and performance of uncertain …
Real-time error detection in nonlinear control systems using machine learning assisted state-space encoding
S Banerjee, B Samynathan… - IEEE transactions on …, 2019 - ieeexplore.ieee.org
Successful deployment of autonomous systems in a wide range of societal applications
depends on error-free operation of the underlying signal processing and control functions …
depends on error-free operation of the underlying signal processing and control functions …
Formal synthesis of non-fragile state-feedback digital controllers considering performance requirements for step response
This work describes an approach for synthesizing state-feedback controllers for discrete-
time systems, taking into account performance aspects. The proposed methodology is based …
time systems, taking into account performance aspects. The proposed methodology is based …