Pages
- 1
- 2
- 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
-
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
-
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
-
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
Pages
- 1
- 2