Related papers: Toward Simulation-free Estimation of Critical Clea…
Safety of stochastic dynamic systems in environments with dynamic obstacles is studied in this paper through the lens of stochastic barrier functions. We introduce both time-invariant and time-varying barrier certificates for discrete-time,…
Realistic simulations in engineering or in the materials sciences can consume enormous computing resources and thus require the use of massively parallel supercomputers. The probability of a failure increases both with the runtime and with…
Online identification of post-contingency transient stability is essential in power system control, as it facilitates the grid operator to decide and coordinate system failure correction control actions. Utilizing machine learning methods…
This paper investigates the critical-time criteria as a security metric for controlled systems subject to sharp input anomalies (attack, fault), characterized by having high impact in a reduced amount of time (e.g. denial-of-service, attack…
This study presents a policy optimisation framework for structured nonlinear control of continuous-time (deterministic) dynamic systems. The proposed approach prescribes a structure for the controller based on relevant scientific knowledge…
In this paper, we describe a novel approach for checking safety specifications of a dynamical system with exogenous inputs over infinite time horizon that is guaranteed to terminate in finite time with a conclusive answer. We introduce the…
Certification through auditing allows to ensure that critical embedded systems are secure. This entails reviewing their critical components and checking for dangerous execution paths. This latter task requires the use of specialized tools…
Modern power networks face increasing vulnerability to cascading failures due to high complexity and the growing penetration of intermittent resources, necessitating rigorous security assessment beyond the conventional $N-1$ criterion.…
Unified virtual oscillator controller (uVOC) inherits the rigorous analytical foundation offered by oscillator based grid-forming (GFM) controllers and enables fast over-current limiting and fault ride-through (FRT). Control design for…
In this paper, a novel closed-loop control framework for autonomous obstacle avoidance on a curve road is presented. The proposed framework provides two main functionalities; (i) collision free trajectory planning using MPC and (ii) a…
Time delays pose an important challenge in networked control systems, which are now ubiquitous. Focusing on switched systems, we introduce a framework that provides an upper bound for errors caused by switching delays. Our framework is…
The rigorous safety verification of control systems in critical applications is essential, given their increasing complexity and integration into everyday life. Simulation-based falsification approaches play a pivotal role in the safety…
Providing an execution time certificate is a pressing requirement when deploying Model Predictive Control (MPC) in real-time embedded systems such as microcontrollers. Real-time MPC requires that its worst-case (maximum) execution time must…
Standard power system models are parameter dependent differential-algebraic equation (DAE) type. Following a transient event, voltage collapse can occur as a bifurcation of the transient load flow solutions which is marked by the system…
This paper proposes a novel Gronwall inequality-based method for transient stability assessment for power systems. The challenges of applying such methods to power systems are how to construct the differential inequality and how to treat…
Incorporating renewable energy sources into modern power grids has significantly decreased system inertia, which has raised concerns about power system vulnerability to disturbances and frequency instability. The conventional methods for…
Self-triggered control (STC) is a resource efficient approach to determine sampling instants for Networked Control Systems. At each sampling instant, an STC mechanism determines not only the control inputs but also the next sampling…
When studying high-dimensional dynamical systems such as macromolecules, quantum systems and polymers, a prime concern is the identification of the most probable states and their stationary probabilities or free energies. Often, these…
Recently, an efficient constraint solving-based approach has been developed to detect logical faults in systems specified with classical finite state machines (FSMs). The approach is unsuitable to detect violations of time constraints. In…
Load shedding is the last and most expensive control action against system collapse and blackout. Achievement of an efficient emergency control to stabilize the power system following severe disturbances, requires two key objectives. First,…