Searched for: subject%3A%22reachability%22
(1 - 20 of 27)

Pages

document
Kaffa, Lauren (author)
Loss of control (LOC) is the primary cause of failure of Unmanned Aerial Vehicles (UAV). The safety of these systems can be largely improved by facilitating techniques to prevent LOC to occur, such as Flight Envelope Protection, enabling controllers to keep the system within the Safe Flight Envelope (SFE).<br/>The aim of this work is to examine...
master thesis 2023
document
Delimpaltadakis, Giannis (author), Mazo, M. (author)
Scheduling communication traffic in networks of event-triggered control (ETC) systems is challenging, as their sampling times are unknown, hindering application of ETC in networks. In previous work, finite-state abstractions were created, capturing the sampling behavior of linear time-invariant (LTI) ETC systems with quadratic triggering...
journal article 2023
document
Xu, Ran (author), Wang, F. (author), Kooij, Robert (author)
In this paper we investigate the controller placement problem on networks using controller reachability as the network performance metric. This metric is defined as the probability that each node can reach at least one controller, given that each link is operational with a fixed probability. By exploring placements for more than 100 real-world...
conference paper 2023
document
Bach, Bao Gia (author), Kundu, Akash (author), Acharya, Tamal (author), Sarkar, A. (author)
This work applies concepts from algorithmic probability to Boolean and quantum combinatorial logic circuits. The relations among the statistical, algorithmic, computational, and circuit complexities of states are reviewed. Thereafter, the probability of states in the circuit model of computation is defined. Classical and quantum gate sets are...
journal article 2023
document
Kaneko, Kei (author)
Flight envelope prediction is a challenging task where one of the difficulties is that widely used methods, like the level set methods, are impractical for systems with more than four coupled state dimensions due to the “curse of dimensionality”. Monte-Carlo simulation based approach suffers less from this, however a large number of simulations...
master thesis 2022
document
Zeinaly, Y. (author)
Large-scale baggage handling systems, or large-scale logistic networks, for that matter, pose interesting challenges to model-based control design. These challenges concern computational complexity, scalability, and robustness of the proposed solutions. This thesis tackles these issues in a collection of papers organized in two overlapping parts...
doctoral thesis 2022
document
Verdier, C.F. (author), Kochdumper, Niklas (author), Althoff, Matthias (author), Mazo, M. (author)
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial...
journal article 2022
document
Chaouach, L. (author), Fiacchini, Mirko (author), Alamo, Teodoro (author)
In this paper, the problem of stability, recursive feasibility and convergence conditions of stochastic model predictive control for linear discrete-time systems affected by a large class of correlated disturbances is addressed. A stochastic model predictive control that guarantees convergence, average cost bound and chance constraint...
journal article 2022
document
Sweering, Tim (author)
In this thesis we investigate the possibilities for applying Koopman methods for reachability analysis. Reachability analysis is a verification process used to determine that a dynamical system starting in an initial set X0 cannot reach a certain set of dangerous states D within a time interval [0,T]. Koopman methods seem promising, because they...
master thesis 2021
document
Sun, P. (author), Kooij, Robert (author), Van Mieghem, P.F.A. (author)
In this paper, we propose closed-form analytic approximations for the number of controllable nodes in sparse communication networks from the aspect of network controllability, considering link-based random attack, targeted attack, as well as random attack under the protection of critical links. We compare our approximations with simulation...
journal article 2021
document
Verdier, C.F. (author)
Control design for modern safety-critical cyber-physical systems still requires significant expert-knowledge, since for general hybrid systems with temporal logic specifications there are no constructive methods. Nevertheless, in recent years multiple approaches have been proposed to automatically synthesize correct-by-construction controllers....
doctoral thesis 2020
document
Chotkan, S.A. (author), Esmeijer, M. (author), Goerdat, R.B.S. (author), Hendriks, O. (author), Stolp, T. (author)
This report considers a possible port expansion in port of Scheveningen, The Netherlands. The problems considered are brought forwards in the plans introduced by Dr. Ir. Waterman and are tackled from multiple disciplines. These problems relate to the recharge of the freshwater-lens, reachability of the port, flood protection of the Tweede Haven,...
student report 2020
document
Warnier, Martijn (author), Alkema, Vincent (author), Comes, M. (author), van de Walle, B.A. (author)
In the immediate aftermath of a disaster, local and international aid organisations deploy to deliver life-saving aid to the affected population. Yet pre-disaster road maps and road transportation models do not capture disruptions to the transportation network caused by the disaster or the dynamic changes of the situation, resulting in...
journal article 2020
document
Zeinaly, Y. (author), van Schuppen, J.H. (author), De Schutter, B.H.K. (author)
Positive systems with positive inputs and positive outputs are used in several branches of engineering, biochemistry, and economics. Both control theory and system theory require the concept of reachability of a time-invariant discrete-time linear positive system. The subset of the state set that is reachable from the origin is therefore of...
journal article 2020
document
Oskam, Rick (author)
A wet clutch is a device that transfers torque between two shafts via a hydraulic mechanism. Wet clutch control is key to achieve smooth and fast clutch engagements. Optimal control of a wet clutch is not trivial because of the complexity of the system due to nonlinearities, hybrid dynamics and changing dynamics over time due to changing...
master thesis 2019
document
Huang, Y. (author), van Gelder, P.H.A.J.M. (author)
We propose an innovative time-varying collision risk (TCR) measurement for ship collision prevention in this article. The proposed measurement considers the level of danger of the approaching ships and the capability of a ship to prevent collisions. We define the TCR as the probability of the overlap of ships’ positions in the future, given...
journal article 2019
document
Fu, A. (author), Mazo, M. (author)
Periodic event-triggered control (PETC) [13] is a version of event-triggered control that only requires the measurement of the plant output periodically instead of continuously. In this note, we present a construction of timing models for these PETC implementations to capture the dynamics of the traffic they generate. In the construction, we...
journal article 2019
document
Yin, Mingzhou (author)
Loss of control is considered as the primary cause of fatal accidents in aviation, which occurs when the aircraft has left the safe flight envelope. To reduce loss-of-control-related accidents, it is important to estimate the safe flight envelope at the current flight condition and integrate it into flight control system design. This task is...
master thesis 2018
document
Baldi, S. (author), Xiang, Weiming (author)
In this work we address the problem of (outer) estimation of reachable sets in switched linear systems subject to dwell-time switching. After giving some conditions that exploit the well-known properties of exponential decrease/bounded increase of the Lyapunov function (i.e. exponential decrease in between switching times and bounded increase...
journal article 2018
document
van den Brandt, Remon (author)
Loss of Control is the primary contributor to aviation fatalities. To prevent this type of accident, flight envelope protection is considered to be a necessary development. The calculation of the Safe Flight Envelope provides a bound on the states that can safely be approached by the aircraft. Although theoretically accurate, some states may not...
master thesis 2017
Searched for: subject%3A%22reachability%22
(1 - 20 of 27)

Pages