Interacting Particle System based estimation of reach probability of General Stochastic Hybrid Systems

For diffusions, a well-developed approach in rare event 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). This paper studies IPS based reach probability estimation for General Stochastic Hybrid Systems (GSHS). The...

Computing the average inter-sample time of event-triggered control using quantitative automata

Event-triggered control (ETC) is a major recent development in cyber–physical systems due to its capability of reducing resource utilization in networked devices. However, while most of the ETC literature reports simulations indicating massive reductions in the sampling required for control, no method so far has been capable of quantifying...

Low Noise Opto-Electro-Mechanical Modulator for RF-to-Optical Transduction in Quantum Communications

In this work, we present an Opto-Electro-Mechanical Modulator (OEMM) for RF-to-optical transduction realized via an ultra-coherent nanomembrane resonator capacitively coupled to an rf injection circuit made of a microfabricated read-out able to improve the electro-optomechanical interaction. This device configuration can be embedded in a...

Search-based task and motion planning for hybrid systems: Agile autonomous vehicles

To achieve optimal robot behavior in dynamic scenarios we need to consider complex dynamics in a predictive manner. In the vehicle dynamics community, it is well know that to achieve time-optimal driving on low friction surface, the vehicle should utilize drifting. Hence, many authors have devised rules to split circuits and employ drifting...

Chaos and Order in Event-Triggered Control

Event-triggered control (ETC) is claimed to provide significant reductions in sampling frequency when compared to periodic sampling, but little is formally known about its generated traffic. This work shows that ETC can exhibit very complex, even chaotic traffic, especially when the triggering condition is aggressive in reducing...

Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers

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...

Biomass segregation between biofilm and flocs improves the control of nitrite-oxidizing bacteria in mainstream partial nitritation and anammox processes

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...

Stable force control and contact transition of a single link flexible robot using a fractional-order controller

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...

Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System

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)....

The interaction between scheduling and control of semi-cyclic hybrid systems

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...

A controlled sewer system should be treated as a sampled data system with events

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...

Mathematical modeling of endocrine regulation subject to circadian rhythm

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...

Fuel cell cars in a microgrid for synergies between hydrogen and electricity networks

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...

Synchronization of pulse-coupled oscillators and clocks under minimal connectivity assumptions

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...

Effective Estimation of Dynamic Metabolic Fluxes Using 13C Labeling and Piecewise Affine Approximation: From Theory to Practical Applicability

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...

Science and technology roadmap for graphene, related two-dimensional crystals, and hybrid systems

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...

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

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...