| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A controlled sewer system should be treated as a sampled data system with events
|
van Nooijen, R.R.P.
|
|
|
51 |
16 |
p. 61-66
|
artikel
|
| 2 |
Algorithm for Bernstein Polynomial Control Design
|
Hamadneh, Tareq
|
|
|
51 |
16 |
p. 283-289
|
artikel
|
| 3 |
An Interval-based Sliding Horizon Motion Planning Method ⁎ ⁎ This work benefited from the support of the “Chair Complex Systems Engineering - Ecole polytechnique, THALES, DGA, FX, DASSAULT AVIATION, DCNS Research, ENSTA ParisTech, Telecom ParisTech, Fondation ParisTech and FDO ENSTA”.
|
dit Sandretto, Julien Alexandre
|
|
|
51 |
16 |
p. 296-301
|
artikel
|
| 4 |
Approximate Abstractions of Markov Chains with Interval Decision Processes ⁎ ⁎ This research has been partially supported by the Alan Turing Institute, London, UK, by the ECSEL SafeCOP project n.692529, and by a grant from the Filauro Foundation.
|
Lun, Yuriy Zacchia
|
|
|
51 |
16 |
p. 91-96
|
artikel
|
| 5 |
A switched system approach to optimize mixing of fluids
|
Dolk, V.S.
|
|
|
51 |
16 |
p. 31-36
|
artikel
|
| 6 |
Benchmarks for cyber-physical systems: A modular model library for building automation systems
|
Cauchi, Nathalie
|
|
|
51 |
16 |
p. 49-54
|
artikel
|
| 7 |
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems ⁎ ⁎ Thanks are due to Georgios Fainekos, Krzysztof Czarnecki, Toshimitsu Ushio and the anonymous reviewers for helpful discussions and comments. The authors are supported by JST ERATO HASUO Metamathematics for Systems Design Project (No. JPM-JER1603), and JSPS Grant-in-Aid No. 15K11984. K.K. is supported by Grant-in-Aid for JSPS Fellows No. 15J05580.
|
Kido, Kengo
|
|
|
51 |
16 |
p. 247-252
|
artikel
|
| 8 |
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation
|
Bohrer, Rose
|
|
|
51 |
16 |
p. 55-60
|
artikel
|
| 9 |
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems ⁎ ⁎ The first two authors contributed equally to this work. This work was supported in part by the German Research Foundation (DFG) through the grant ZA 873/1-1, the TUM International Graduate School of Science and Engineering (IGSSE), and Labex DigiCosme (project ANR-11-LABEX-0045-DIGICOSME) operated by ANR as part of the program ”Investissement d’Avenir” Idex Paris Saclay (ANR-11-IDEX-0003-02).
|
Saoud, Adnane
|
|
|
51 |
16 |
p. 13-18
|
artikel
|
| 10 |
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets
|
Cubuktepe, Murat
|
|
|
51 |
16 |
p. 115-120
|
artikel
|
| 11 |
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach ⁎ ⁎ This work was supported in part by the German Research Foundation (DFG) through the grant ZA 873/1-1.
|
Lavaei, Abolfazl
|
|
|
51 |
16 |
p. 265-270
|
artikel
|
| 12 |
Computing controlled invariant sets for hybrid systems with applications to model-predictive control
|
Legat, Benoît
|
|
|
51 |
16 |
p. 193-198
|
artikel
|
| 13 |
Concentration of Measure for Chance-Constrained Optimization
|
Soudjani, Sadegh
|
|
|
51 |
16 |
p. 277-282
|
artikel
|
| 14 |
Contents
|
|
|
|
51 |
16 |
p. i-viii
|
artikel
|
| 15 |
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters ⁎ ⁎ This work was supported by the AGE-WELL Network Center of Excellence and the National Science and Engineering Research Council of Canada (NSERC) Discovery Grant #298211.
|
Estrada, Ariadna
|
|
|
51 |
16 |
p. 290-295
|
artikel
|
| 16 |
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
|
Coënt, Adrien Le
|
|
|
51 |
16 |
p. 259-264
|
artikel
|
| 17 |
Data-driven Switched Affine Modeling for Model Predictive Control ⁎ ⁎ This work was supported by project INnovating City Planning through Information and Communication Technologies (INCIPICT), and by TerraSwarm, one of six centers of STAR-net, a Semiconductor Research Corporation program sponsored by MARCO and DARPA, and by the Italian Government under Cipe resolution n.135 (Dec. 21, 2012).
|
Smarra, Francesco
|
|
|
51 |
16 |
p. 199-204
|
artikel
|
| 18 |
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time
|
Yaghoubi, Shakiba
|
|
|
51 |
16 |
p. 103-108
|
artikel
|
| 19 |
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
|
Vazquez-Chanlatte, Marcell J.
|
|
|
51 |
16 |
p. 7-12
|
artikel
|
| 20 |
Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems
|
Abreu, Amanda
|
|
|
51 |
16 |
p. 235-240
|
artikel
|
| 21 |
Higher-Dimensional Timed Automata ⁎ ⁎ Supported by the Chaire ISC : Engineering Complex Systems – École polytechnique – Thales – FX – DGA – Dassault Aviation – DCNS Research – ENSTA ParisTech – Télécom ParisTech
|
Fahrenberg, Uli
|
|
|
51 |
16 |
p. 109-114
|
artikel
|
| 22 |
Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion ⁎ ⁎ This work was supported in part by NSF under grants ECCS-1509084, IIP-1430145, and CNS-1645681, by AFOSR under grant FA9550-12-1-0113, by DOE under grant DOE-46100, and by Bosch and MathWorks.
|
Meng, Xiangyu
|
|
|
51 |
16 |
p. 223-228
|
artikel
|
| 23 |
Input Design for Nonlinear Model Discrimination via Affine Abstraction ⁎ ⁎ This work was supported by Toyota Research Institute (“TRI”). TRI provided funds to assist the authors with their research but this article solely reflects the opinions and conclusions of its authors and not TRI or any other Toyota entity.
|
Singh, Kanishka
|
|
|
51 |
16 |
p. 175-180
|
artikel
|
| 24 |
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System
|
Blom, Henk A.P.
|
|
|
51 |
16 |
p. 79-84
|
artikel
|
| 25 |
Language constrained stabilization of discrete-time switched linear systems: an LMI approach
|
Jungers, Marc
|
|
|
51 |
16 |
p. 25-30
|
artikel
|
| 26 |
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
|
Dutta, Souradeep
|
|
|
51 |
16 |
p. 151-156
|
artikel
|
| 27 |
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS
|
Nguyen, Luan V.
|
|
|
51 |
16 |
p. 67-72
|
artikel
|
| 28 |
Multi-Energy Scheduling Using a Hybrid Systems Approach
|
Krishnan, Ashok
|
|
|
51 |
16 |
p. 229-234
|
artikel
|
| 29 |
Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems
|
de Oliveira, André M.
|
|
|
51 |
16 |
p. 205-210
|
artikel
|
| 30 |
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings ⁎ ⁎ This work is supported in part by DARPA grant N66001-14-1-4045, and NSF grants CNS1446298 and ECCS-1553873. For the extended version, see Lindvall Bulancea et al. (2018).
|
Bulancea, Oscar Lindvall
|
|
|
51 |
16 |
p. 19-24
|
artikel
|
| 31 |
Observability of Linear Hybrid Systems with unknown inputs and discrete dynamics modeled by Petri nets.
|
Renato Vázquez, Carlos
|
|
|
51 |
16 |
p. 163-168
|
artikel
|
| 32 |
Occupation measure methods for modelling and analysis of biological hybrid systems
|
Rocca, Alexandre
|
|
|
51 |
16 |
p. 181-186
|
artikel
|
| 33 |
On approximate predictability of metric systems ⁎ ⁎ The research leading to these results has been partially supported by the Center of Excellence DEWS.
|
Fiore, Gabriella
|
|
|
51 |
16 |
p. 169-174
|
artikel
|
| 34 |
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems ⁎ ⁎ The work has been supported and funded by UTC Institute for Advanced Systems Engineering.
|
Goyal, Manish
|
|
|
51 |
16 |
p. 139-144
|
artikel
|
| 35 |
On invariance and reachability on semialgebraic sets for linear dynamics
|
Athanasopoulos, Nikolaos
|
|
|
51 |
16 |
p. 43-48
|
artikel
|
| 36 |
Optimal Symbolic Controllers Determinization for BDD storage ⁎ ⁎ This work is supported by the STW-EW grant as a part of the CADUSY project #13852.
|
Zapreev, Ivan S.
|
|
|
51 |
16 |
p. 1-6
|
artikel
|
| 37 |
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data ⁎ ⁎ This work is partially supported by the NSF Graduate Research Fellowship Grant Number DGE 1256260, an Early Career Faculty grant from NASA’s Space Technology Research Grants Program, DARPA grant N66001-14-1-4045 and by Toyota Research Institute (“TRI”). TRI provided funds to assist the authors with their research but this article solely reflects the opinions and conclusions of its authors and not TRI or any other Toyota entity.
|
Rutledge, Kwesi J.
|
|
|
51 |
16 |
p. 157-162
|
artikel
|
| 38 |
Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales
|
Ben Nasser, Bacem
|
|
|
51 |
16 |
p. 121-126
|
artikel
|
| 39 |
Reachability Analysis for One Dimensional Linear Parabolic Equations
|
Tran, Hoang-Dung
|
|
|
51 |
16 |
p. 133-138
|
artikel
|
| 40 |
Safety control, a quantitative approach ⁎ ⁎ This research was partially supported by Labex DigiCosme (project ANR-11-LABEX-0045-DIGICOSME) operated by ANR as part of the program ”Investissement d’Avenir” Idex Paris Saclay (ANR-11-IDEX-0003-02). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 725144)
|
Eqtami, Alina
|
|
|
51 |
16 |
p. 187-192
|
artikel
|
| 41 |
Space-time budget allocation for marketing over social networks ⁎ ⁎ This work was supported by projects PEPS INS2I IODINE and PEPS S2IH INS2I YPSOC funded by the CNRS
|
Morărescu, Irinel-Constantin
|
|
|
51 |
16 |
p. 211-216
|
artikel
|
| 42 |
Stability of switched systems on non-uniform time domains with non commuting matrices
|
Taousser, Fatim Z.
|
|
|
51 |
16 |
p. 37-42
|
artikel
|
| 43 |
Statistical Verification of PCTL Using Stratified Samples
|
Wang, Yu
|
|
|
51 |
16 |
p. 85-90
|
artikel
|
| 44 |
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems ⁎ ⁎ This research has been partially supported by the National Science Foundation under CAREER Grant no. ECS-1450484, Grant no. ECS-1710621, and Grant no. CNS-1544396, by the Air Force Office of Scientific Research under Grant no. FA9550-16-1-0015, by the Air Force Research Laboratory under Grant no. FA9453-16-1-0053, and by CITRIS and the Banatao Institute at the University of California.
|
Han, Hyejin
|
|
|
51 |
16 |
p. 97-102
|
artikel
|
| 45 |
Switch induced instabilities for stable power system DAE models ⁎ ⁎ This work was partially supported by the Fraunhofer Internal Programs under the Grant No. Discover 828378 and by NWO Vidi grant 639.032.733. Most parts of this research work was carried out while the first author was at the Fraunhofer ITWM Kaiserslautern and while the second author was at the University of Kaiserslautern, Germany
|
Groß, Tjorben
|
|
|
51 |
16 |
p. 127-132
|
artikel
|
| 46 |
Symbolic models for incrementally stable switched systems with aperiodic time sampling ⁎ ⁎ This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 725144). This research was partially supported by Labex DigiCosme (project ANR-11-LABEX-0045-DIGICOSME) operated by ANR as part of the program ”Investissement d’Avenir” Idex Paris Saclay (ANR-11-IDEX-0003-02).
|
Kader, Zohra
|
|
|
51 |
16 |
p. 253-258
|
artikel
|
| 47 |
t-Barrier Certificates: A Continuous Analogy to k-Induction
|
Bak, Stanley
|
|
|
51 |
16 |
p. 145-150
|
artikel
|
| 48 |
Temporal logic control of general Markov decision processes by approximate policy refinement
|
Haesaert, Sofie
|
|
|
51 |
16 |
p. 73-78
|
artikel
|
| 49 |
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
|
Haesaert, S.
|
|
|
51 |
16 |
p. 271-276
|
artikel
|
| 50 |
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks
|
Wardi, Y.
|
|
|
51 |
16 |
p. 217-222
|
artikel
|
| 51 |
Verifying nonlinear analog and mixed-signal circuits with inputs
|
Fan, Chuchu
|
|
|
51 |
16 |
p. 241-246
|
artikel
|
Tijdschrift beschrijving