| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems
|
Madary, Ahmad
|
|
|
54 |
5 |
p. 259-264
|
artikel
|
| 2 |
Adaptive Testing for Specification Coverage in CPS Models
|
Bartocci, Ezio
|
|
|
54 |
5 |
p. 229-234
|
artikel
|
| 3 |
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
|
Bortolussi, Luca
|
|
|
54 |
5 |
p. 223-228
|
artikel
|
| 4 |
A hybrid control framework for an optimal visiting problem
|
Bagagiolo, Fabio
|
|
|
54 |
5 |
p. 241-246
|
artikel
|
| 5 |
A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic Systems ⁎ ⁎ This work was partially supported by the French “Re‘gion Hauts- de-France” grant.
|
Wang, Xinyong
|
|
|
54 |
5 |
p. 133-138
|
artikel
|
| 6 |
An approximation for nonlinear differential-algebraic equations via singular perturbation theory
|
Chen, Yahao
|
|
|
54 |
5 |
p. 187-192
|
artikel
|
| 7 |
An Approximation of Minimax Control using Random Sampling and Symbolic Computation
|
Jerray, Jawher
|
|
|
54 |
5 |
p. 265-270
|
artikel
|
| 8 |
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools ⁎ ⁎ This work was supported by DENSO Automotive Deutschland GmbH. A full version of the paper is available on https://arxiv.org/abs/2012.12657, see Sharf et al. (2020).
|
Sharf, Miel
|
|
|
54 |
5 |
p. 25-30
|
artikel
|
| 9 |
Augmented obstacle avoidance controller design for mobile robots ⁎ ⁎ The research is supported in part by the Agence Nationale de la Recherche (ANR) via grant “Hybrid And Networked Dynamical sYstems” (HANDY), number ANR-18-CE40-0010.
|
Braun, Philipp
|
|
|
54 |
5 |
p. 157-162
|
artikel
|
| 10 |
Bounds on set exit times of affine systems, using Linear Matrix Inequalities ⁎ ⁎ The work of the first author is supported by a FRIA (F.R.S.– FNRS) fellowship.
|
Berger, Guillaume O.
|
|
|
54 |
5 |
p. 283-288
|
artikel
|
| 11 |
Closed-loop incremental stability for efficient symbolic control of non-linear systems
|
Tajvar, Pouria
|
|
|
54 |
5 |
p. 121-126
|
artikel
|
| 12 |
Combining Model-Based Design and Model-Free Policy Optimization to Learn Safe, Stabilizing Controllers
|
Westenbroek, Tyler
|
|
|
54 |
5 |
p. 19-24
|
artikel
|
| 13 |
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control ⁎ ⁎ A. Saoud and R. G. Sanfelice are with Department of Electrical and Computer Engineering, University of California, Santa Cruz. This research has been partially supported by NSF Grants no. ECS-1710621, CNS-1544396, and CNS-2039054, by AFOSR Grants no. FA9550-19-1-0053, FA9550-19-1-0169, and FA9550-20-1-0238, and by CITRIS and the Banatao Institute at the University of California.
|
Saoud, Adnane
|
|
|
54 |
5 |
p. 91-96
|
artikel
|
| 14 |
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
|
Sato, Sota
|
|
|
54 |
5 |
p. 217-222
|
artikel
|
| 15 |
Contents
|
|
|
|
54 |
5 |
p. i-vi
|
artikel
|
| 16 |
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems ⁎ ⁎ This work was supported in part by the H2020 ERC Starting Grant AutoCPS (grant agreement No. 804639) and by the EPSRC-funded CodeCPS project (EP/V043676/1).
|
Nejati, Ameneh
|
|
|
54 |
5 |
p. 277-282
|
artikel
|
| 17 |
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
|
Salamati, Ali
|
|
|
54 |
5 |
p. 7-12
|
artikel
|
| 18 |
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees
|
Rubbens, Anne
|
|
|
54 |
5 |
p. 67-72
|
artikel
|
| 19 |
Determination of limit cycles using stroboscopic set-valued maps
|
Jerray, Jawher
|
|
|
54 |
5 |
p. 139-144
|
artikel
|
| 20 |
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances ⁎ ⁎ 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).
|
Makdesi, Anas
|
|
|
54 |
5 |
p. 49-54
|
artikel
|
| 21 |
Geometric control of algebraic systems
|
Legat, Benoît
|
|
|
54 |
5 |
p. 79-84
|
artikel
|
| 22 |
Hybrid Adaptive Control for the DC-DC Boost Converter ⁎ ⁎ Research partially supported by NSF Grants no. ECS-1710621 and CNS-1544396, by AFOSR Grants no. FA9550-16-1-0015, FA9550-19-1-0053, and FA9550-19-1-0169, by CITRIS and the Banato Institute at the University of California, and by the ARCS Foundation.
|
Johnson, Ryan S.
|
|
|
54 |
5 |
p. 73-78
|
artikel
|
| 23 |
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration ⁎ ⁎ 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).
|
Ivanova, Elena
|
|
|
54 |
5 |
p. 109-114
|
artikel
|
| 24 |
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems
|
Robey, Alexander
|
|
|
54 |
5 |
p. 1-6
|
artikel
|
| 25 |
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds ⁎ ⁎ We thank the support from Villum Synergy project CLAIRE and ERC Advanced Grant LASSO.
|
Goorden, Martijn A.
|
|
|
54 |
5 |
p. 13-18
|
artikel
|
| 26 |
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation ⁎ ⁎ The financial support of this work are Inria and EPITAG, an Inria Associate team part of the LIRIMA (https://team.inria.fr/epitag/).
|
Djuikem, Clotilde
|
|
|
54 |
5 |
p. 193-198
|
artikel
|
| 27 |
ModelGuard: Runtime Validation of Lipschitz-continuous Models
|
Carpenter, Taylor J.
|
|
|
54 |
5 |
p. 37-42
|
artikel
|
| 28 |
On the Search for Equilibrium Points of Switched Affine Systems
|
Egidio, Lucas N.
|
|
|
54 |
5 |
p. 301-306
|
artikel
|
| 29 |
On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees
|
Iuliis, Vittorio De
|
|
|
54 |
5 |
p. 61-66
|
artikel
|
| 30 |
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration
|
Işık, İlker
|
|
|
54 |
5 |
p. 271-276
|
artikel
|
| 31 |
Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems ⁎ ⁎ This work is carried out as part of the project “From PID to complex order controller (CLOC)” and is supported by the Netherlands Organization for Scientific Research (NWO) Domain for Applied and Engineering Sciences (TTW).
|
Dinther, D. van
|
|
|
54 |
5 |
p. 289-294
|
artikel
|
| 32 |
Planning in Dynamic and Partially Unknown Environments
|
Miller, Kristina
|
|
|
54 |
5 |
p. 169-174
|
artikel
|
| 33 |
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement
|
Fatnassi, Wael
|
|
|
54 |
5 |
p. 43-48
|
artikel
|
| 34 |
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
|
Bak, Stanley
|
|
|
54 |
5 |
p. 253-258
|
artikel
|
| 35 |
Regularized Switched System Identification: a Statistical Learning Perspective
|
Massucci, Louis
|
|
|
54 |
5 |
p. 55-60
|
artikel
|
| 36 |
Reset-control-based current tracking for a solenoid with unknown parameters
|
Bertollo, R.
|
|
|
54 |
5 |
p. 199-204
|
artikel
|
| 37 |
Results on hybrid control of self-oscillating resonant converters ⁎ ⁎ Research supported in part by the University of Trento, via the international mobility plan, and by ANR via grant HANDY, number ANR-18-CE40-0010.
|
Zaupa, Nicola
|
|
|
54 |
5 |
p. 211-216
|
artikel
|
| 38 |
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems ⁎ ⁎ This work was supported in part by the Natural Sciences and Engineering Council of Canada’s Discovery Grant and Canada Research Chairs programs (CRC) and an Ontario Early Researcher Award.
|
Li, Yinan
|
|
|
54 |
5 |
p. 31-36
|
artikel
|
| 39 |
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets ⁎ ⁎ This work was supported by NSF Award CNS-1931982 and by the Automotive Research Center, a US Army Center of Excellence for modeling and simulation of ground vehicles, led by the University of Michigan under agreement W56HZV-19-2-0001. DISTRIBUTION A. Approved for public release; distribution unlimited. OPSEC #: 5192
|
Liu, Zexiang
|
|
|
54 |
5 |
p. 163-168
|
artikel
|
| 40 |
Safety Control Synthesis for Systems with Missing Measurements
|
Yang, Liren
|
|
|
54 |
5 |
p. 97-102
|
artikel
|
| 41 |
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems
|
Prabhakar, Pavithra
|
|
|
54 |
5 |
p. 115-120
|
artikel
|
| 42 |
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking
|
Westenbroek, Tyler
|
|
|
54 |
5 |
p. 181-186
|
artikel
|
| 43 |
Switched Systems as Hybrid Programs ⁎ ⁎ This research was sponsored by the AFOSR under grant number FA9550-16-1-0288. The first author was also supported by A ⁎STAR, Singapore.
|
Tan, Yong Kiam
|
|
|
54 |
5 |
p. 247-252
|
artikel
|
| 44 |
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games ⁎ ⁎ R. Majumdar and K. Mallik are funded through the DFG (Deutsche Forschungsgemeinschaft or German Science Foundation) project 389792660 TRR 248-CPEC, A.-K. Schmuck is funded through the DFG project SCHM 3541/1-1, and S. Soudjani is funded through the EPSRC-funded CodeCPS project (EP/V043676/1).
|
Majumdar, Rupak
|
|
|
54 |
5 |
p. 127-132
|
artikel
|
| 45 |
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics
|
Serieye, M.
|
|
|
54 |
5 |
p. 295-300
|
artikel
|
| 46 |
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems ⁎ ⁎ Raphael M. Jungers is a FNRS honorary Research Associate. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No 864017 - L2C. RJ is also supported by the Walloon Region, the Innoviris Foundation, and the FNRS (Chist-Era Druid-net).
|
Debauche, Virginie
|
|
|
54 |
5 |
p. 151-156
|
artikel
|
| 47 |
The orienteering problem: a hybrid control formulation
|
Bagagiolo, Fabio
|
|
|
54 |
5 |
p. 175-180
|
artikel
|
| 48 |
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results ⁎ ⁎ This work was partially supported by ANR project Maximic (ANR-17-CE40-0024-01), Inria IPL Cosy and Labex SIGNALIFE (ANR-11-LABX-0028-01). We also acknowledge the support of the FMJH Program PGMO and the support to this program from EDF-THALES-ORANGE.
|
Augier, Nicolas
|
|
|
54 |
5 |
p. 205-210
|
artikel
|
| 49 |
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data ⁎ ⁎ This work is partially supported by NSF grants CNS-1932066 and CNS-1943545.
|
Hassaan, Syed M.
|
|
|
54 |
5 |
p. 103-108
|
artikel
|
| 50 |
Tractable higher-order under-approximating AE extensions for non-linear systems
|
Goubault, Eric
|
|
|
54 |
5 |
p. 235-240
|
artikel
|
| 51 |
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems
|
Gaßmann, Victor
|
|
|
54 |
5 |
p. 85-90
|
artikel
|
| 52 |
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems
|
Kundu, Atreyee
|
|
|
54 |
5 |
p. 145-150
|
artikel
|
Tijdschrift beschrijving