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 …

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 …

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 …

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 …

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 …

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 …

Modern control is implemented with digital microcontrollers, embedded within a dynamical
plant that represents physical components. We present a new algorithm based on …

Control-system robustness verification with respect to implementation aspects lacks
automated verification approaches for checking stability and performance of uncertain …

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 …

We present a sound and automated approach to synthesizing safe, digital controllers for
physical plants represented as time-invariant models. Models are linear differential …