Searched for: subject%3A%22reachability%255C+analysis%22
(1 - 12 of 12)
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
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
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
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
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
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
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
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
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
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
document
Adardour, A. (author)
The determination of the safe flight envelope can greatly improve aviation safety. Level Set methods, which can determine the safe flight envelope, have an unfavorable dimensional scaling that complicates an on-line application. The results of a novel method based on multivariate B-splines are presented in this research. Unlike Level Set methods...
master thesis 2016
Searched for: subject%3A%22reachability%255C+analysis%22
(1 - 12 of 12)