Searched for: subject:"Hybrid%5C+systems"
(1 - 20 of 21)

Pages

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
Pippia, T.M. (author)
Energy systems influence many aspects of society, from the residential sector to the commercial one. Improving the performance and efficiency of energy systems and guaranteeing their stability is a fundamental task of control engineers. In this regard, this thesis presents modeling and control solutions for energy systems, with a focus on both...
doctoral thesis 2020
document
de Albuquerque Gleizer, G. (author), Mazo, M. (author)
We provide a method to construct finite abstractions exactly bisimilar to linear systems under a modified periodic event-triggered control (PETC), when considering as output the inter-event times they generate. Assuming that the initial state lies on a known compact set, these finite-state models can exactly predict all sequences of sampling...
journal article 2020
document
Feliu-Talegon, Daniel (author), Feliu-Batlle, Vicente (author), Tejado, Inés (author), Vinagre, Blas M. (author), Hossein Nia Kani, S.H. (author)
The control of robots that interact with the environment is an open area of research. Two applications that benefit from this study are: the control of the force exerted by a robot on an object, which allows the robot to perform complex tasks like assembly operations, and the control of collisions, which allows the robot safely collaborate...
journal article 2019
document
Laureni, M. (author), Weissbrodt, D.G. (author), Villez, Kris (author), Robin, Orlane (author), de Jonge, Nadieh (author), Rosenthal, Alex (author), Wells, George (author), Nielsen, Jeppe Lund (author), Morgenroth, Eberhard (author), Joss, Adriano (author)
The control of nitrite-oxidizing bacteria (NOB) challenges the implementation of partial nitritation and anammox (PN/A) processes under mainstream conditions. The aim of the present study was to understand how operating conditions impact microbial competition and the control of NOB in hybrid PN/A systems, where biofilm and flocs coexist. A...
journal article 2019
document
van den Boom, A.J.J. (author), Bruijn, Hilco de (author), De Schutter, B.H.K. (author), Özkan, Leyla (author)
In this paper a new iterative approach is proposed for the design of a combined real-time scheduling and control algorithm that can be applied to industrial systems that are described by a hybrid model with a (semi-)cyclic behavior. Traditionally scheduling and control problems are considered in a sequential way. First the scheduling problem...
journal article 2018
document
van Nooijen, R.R.P. (author), Kolechkina, A.G. (author)
Arguments are presented in favor of modeling sewer systems and in particular Dutch sewer systems as a sampled data system with events. Basic limitations on controlling these systems when ignoring their hybrid nature are stated. The traditional control scheme for the Dutch systems is given as an example of event driven local control. Basic...
journal article 2018
document
Blom, H.A.P. (author), Ma, H. (author), Bakker, G. J.(Bert) (author)
This paper studies estimation of reach probability for a generalized stochastic hybrid system (GSHS). For diffusion processes a well-developed approach in reach probability estimation is to introduce a suitable factorization of the reach probability and then to estimate these factors through simulation of an Interacting Particle System (IPS)....
journal article 2018
document
Medvedev, Alexander (author), Proskurnikov, A.V. (author), Zhusubaliyev, Zhanybai T. (author)
The 2017 Nobel Prize in Physiology or Medicine awarded for discoveries of molecular mechanisms controlling the circadian rhythm has called attention to the challenging area of nonlinear dynamics that deals with synchronization and entrainment of oscillations. Biological circadian clocks keep time in living organisms, orchestrating hormonal...
journal article 2018
document
Alavi, F. (author), Park Lee, E.H. (author), van de Wouw, N. (author), De Schutter, B.H.K. (author), Lukszo, Z. (author)
Fuel cell electric vehicles convert chemical energy of hydrogen into electricity to power their motor. Since cars are used for transport only during a small part of the time, energy stored in the on-board hydrogen tanks of fuel cell vehicles can be used to provide power when cars are parked. In this paper, we present a community microgrid...
journal article 2017
document
Proskurnikov, A.V. (author), Cao, Ming (author)
Populations of flashing fireflies, claps of applauding audience, cells of cardiac and circadian pacemakers reach synchrony via event-triggered interactions, referred to as pulse couplings. Synchronization via pulse coupling is widely used in wireless sensor networks, providing clock synchronization with parsimonious packet exchanges. In spite...
journal article 2017
document
Luo, R. (author)
This thesis aims at developing efficient methods for control of large-scale systems by employing state-of-the-art control methods and optimization techniques. This thesis is divided into two parts. In the first part, we address dynamic traffic routing for urban transportation networks. In the second part, we address multi-agent model predictive...
doctoral thesis 2016
document
Baumann, Michael (author), Biemond, J. J Benjamin (author), Leine, Remco I. (author), van de Wouw, N. (author)
This paper addresses the controlled synchronization problem of mechanical systems subjected to a geometric unilateral constraint as well as the design of a switching coupling law to obtain synchronization. To define the synchronization problem, we propose a distance function induced by the quotient metric, which is based on an equivalence...
conference paper 2016
document
Schumacher, R. (author), Wahl, S.A. (author)
The design of microbial production processes relies on rational choices for metabolic engineering of the production host and the process conditions. These require a systematic and quantitative understanding of cellular regulation. Therefore, a novel method for dynamic flux identification using quantitative metabolomics and 13C labeling to...
journal article 2015
document
Xin, J. (author)
For enhancing the performance of automated container terminals, this PhD thesis focuses on improving energy efficiency and implementing more autonomous equipment (e.g., free-ranging AGVs) at the operational level. On the one hand, due to the increased energy price and environmental stress, energy efficiency needs to be improved. On the other...
doctoral thesis 2015
document
Ferrari, A.C. (author), Dekker, C. (author), Vandersypen, L.M.K. (author), Van Der Zant, H.S.J. (author)
We present the science and technology roadmap for graphene, related two-dimensional crystals, and hybrid systems, targeting an evolution in technology, that might lead to impacts and benefits reaching into most areas of society. This roadmap was developed within the framework of the European Graphene Flagship and outlines the main targets and...
journal article 2014
document
Esmaeil Zadeh Soudjani, S. (author), Abate, A. (author)
This work is concerned with the generation of finite abstractions of general state-space processes to be employed in the formal verification of probabilistic properties by means of automatic techniques such as probabilistic model checkers. The work employs an abstraction procedure based on the partitioning of the state-space, which generates a...
journal article 2013
document
Krystul, Jaroslav (author), Bagchi, Arunabha (author), Blom, H.A.P. (author)
In this paper we study a class of strong Markov solutions to stochastic differential equations on a hybrid state spaces. We construct stochastic hybrid processes as solutions to Ito-Skorohod type stochastic differential equations. Then we present strong existence and uniqueness results and show that under weak conditions these solutions are...
report 2011
document
Necoara, I. (author)
This Ph.D. thesis considers the development of new analysis and control techniques for special classes of hybrid systems and discrete event systems. Two particular classes of hybrid systems (piecewise affine systems and max-min-plus-scaling systems), and two particular classes of discrete event systems (max-plus-linear systems and switching max...
doctoral thesis 2006
document
Negenborn, R.R. (author), De Schutter, B. (author), Hellendoorn, J. (author)
For several reasons, control of transportation networks like road traffic networks, power transmission networks, water distribution networks, etc. has to be done using a multi-agent control approach. We consider a multi-agent control approach in which each control agent uses Model Predictive Control (MPC) to determine its actions. Each control...
conference paper 2006
Searched for: subject:"Hybrid%5C+systems"
(1 - 20 of 21)

Pages