Searched for: subject:"reachability"
(1 - 17 of 17)
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
document
Chawla, Hemang (author)
The development of domestic mobile manipulators for unconstrained environments has driven significant research recently. Robot Care Systems has been pioneering in developing a prototype of a mobile manipulator for elderly care. It has a 6 degrees of freedom robotic arm mounted on their flagship robot LEA, a non-holonomic differential drive...
master thesis 2017
document
Murguia, Carlos (author), van de Wouw, N. (author), Ruths, Justin (author)
For given system dynamics, control structure, and fault/attack detection procedure, we provide mathematical tools–in terms of Linear Matrix Inequalities (LMIs)–for characterizing and minimizing the set of states that sensor attacks can induce in the system while keeping the alarm rate of the fault detector sufficiently close to its false...
conference paper 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
document
Adzkiya, D. (author)
Max-Plus-Linear (MPL) systems are a class of discrete-event systems with a continuous state space characterizing the timing of the underlying sequential discrete events. These systems are predisposed to describe the timing synchronization between interleaved processes. MPL systems are employed in the analysis and scheduling of infrastructure...
doctoral thesis 2014
document
Govindarajan, N. (author)
This dissertation presents an optimal control framework to determine a collection of open-loop command signals, that mathematically guarantees operation of a dynamical system within prescribed state constraints. The framework is applied to estimate real-time command margins for aircraft control systems so that, safe operation within the flight...
master thesis 2012
document
Wolfslag, W.J. (author)
This thesis analyses the range of motion of a resonating robotic arm under motor torque and time limitations and shows the beneficial effects it has on the speed of executing a pick and place task.
master thesis 2012
document
Blank, J.L.T. (author), Haelermans, C.M.G. (author), Koot, P.M. (author), van Putten-rademakers, O.W. (author)
Deze studie, uitgevoerd in opdracht van de RVZ, tracht een inzicht te geven in de relatie tussen schaal, doelmatigheid, kwaliteit en bereikbaarheid van een aantal zorginstellingen in Nederland, op basis van een conceptueel kader, resultaten uit internationaal onderzoek en actuele en historische gegevens over zorginstellingen. Het eindrapport...
working paper 2008
Searched for: subject:"reachability"
(1 - 17 of 17)