| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Hybrid Dynamical System Formulation of Capture-the-Flag Games
|
Leudo, Santiago Jimenez
|
|
|
58 |
11 |
p. 165-170
|
artikel
|
| 2 |
A Simulation Preorder for Koopman-like Lifted Control Systems ⁎ ⁎ This work is funded by the ONR grant N00014-21-1-2431 (CLEVR-AI).
|
Aspeel, Antoine
|
|
|
58 |
11 |
p. 25-30
|
artikel
|
| 3 |
Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates
|
Galarza-Jimenez, Felipe
|
|
|
58 |
11 |
p. 57-62
|
artikel
|
| 4 |
Conical Transition Graphs for Analysis of Asymptotic Stability in Hybrid Dynamical Systems ⁎ ⁎ This research was supported by NSF grants CNS-2039054 and CNS-2111688; by AFOSR grants FA9550-19-1-0169, FA9550-20-1-0238, FA9550-23-1-0145, and FA9550-23-1-0313; by AFRL grants FA8651-22-1-0017 and FA8651-23-1-0004; by ARO grant W911NF-20-1-0253; and by DOD grant W911NF-23-1-0158.
|
Wintz, Paul K.
|
|
|
58 |
11 |
p. 159-164
|
artikel
|
| 5 |
Contents
|
|
|
|
58 |
11 |
p. i-vi
|
artikel
|
| 6 |
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
|
Alaoui, Sadek Belamfedel
|
|
|
58 |
11 |
p. 189-194
|
artikel
|
| 7 |
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
|
Schön, Oliver
|
|
|
58 |
11 |
p. 115-122
|
artikel
|
| 8 |
Data-Driven Stability Analysis of Switched Linear Systems Using Adaptive Sampling ⁎ ⁎ GB is a FNRS Postdoctoral Researcher. RJ 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.
|
Vuille, Alexis
|
|
|
58 |
11 |
p. 31-36
|
artikel
|
| 9 |
Direct data-driven control with signal temporal logic specifications ⁎ ⁎ This work is supported by the Dutch NWO Veni project CODEC (18244) and the EIC project SymAware (101070802).
|
van Huijgevoort, B.C.
|
|
|
58 |
11 |
p. 177-182
|
artikel
|
| 10 |
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks
|
Anand, Mahathi
|
|
|
58 |
11 |
p. 171-176
|
artikel
|
| 11 |
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction ⁎ ⁎ This work was supported by the National Science Foundation, under NSF CAREER Award no. 2143351, NSF CNS Award no. 2223035, and NSF IIS Award no. 2331938.
|
Yang, Yejiang
|
|
|
58 |
11 |
p. 7-12
|
artikel
|
| 12 |
Error Bounds for Compositions of Piecewise affine Approximations ⁎ ⁎ This work was supported by the Department of Defense through the National Defense Science & Engineering Graduate (NDSEG) Fellowship Program.
|
Glunt, Jonah J.
|
|
|
58 |
11 |
p. 43-50
|
artikel
|
| 13 |
Formal Verification of Stability for Parametric affine Switched Systems
|
Battista, Ludovico
|
|
|
58 |
11 |
p. 37-42
|
artikel
|
| 14 |
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations ⁎ ⁎ This work was supported in by NSF CPS Frontier project CNS-2111688 and AFOSR grant FA9550-21-1-0288.
|
Zhong, Bingzhuo
|
|
|
58 |
11 |
p. 13-18
|
artikel
|
| 15 |
Hybrid Optimal Control of a Flying+Sailing Drone: Flying with 6 and Sailing with 5 Degrees of Freedom
|
Yasini, Taha
|
|
|
58 |
11 |
p. 69-74
|
artikel
|
| 16 |
Hybrid System Identification through Optimization and Active Learning
|
Dayekh, Hadi
|
|
|
58 |
11 |
p. 87-92
|
artikel
|
| 17 |
HyRRT-Connect: An Efficient Bidirectional Rapidly-Exploring Random Trees Motion Planning Algorithm for Hybrid Dynamical Systems ⁎ ⁎ This research is supported by NSF grants nos. CNS-2039054 and CNS-2111688, by AFOSR grants nos. FA9550-19-1-0169, FA9550-20-1-0238, FA9550-23-1-0145, and FA9550-23-1-0313, by AFRL grant nos. FA8651-22-1-0017 and FA8651-23-1-0004, by ARO grant no. W911NF-20-1-0253, and by DoD grant no. W911NF-23-1-0158.
|
Wang, Nan
|
|
|
58 |
11 |
p. 51-56
|
artikel
|
| 18 |
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX ⁎ ⁎ This work was supported in part by the Air Force Office of Scientific Research under award FA9550-23-1-0303 and the National Science Foundation under award #2219755.
|
Harapanahalli, Akash
|
|
|
58 |
11 |
p. 75-80
|
artikel
|
| 19 |
Incremental Stability of Discrete-Time First-Order Projection Elements ⁎ ⁎ Funded by the European Union (ERC Advanced Grant, Proacthis, no. 10105538)
|
Bertollo, Riccardo
|
|
|
58 |
11 |
p. 123-128
|
artikel
|
| 20 |
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
|
Mathiesen, Frederik Baymler
|
|
|
58 |
11 |
p. 1-6
|
artikel
|
| 21 |
LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers
|
Hashemi, Navid
|
|
|
58 |
11 |
p. 183-188
|
artikel
|
| 22 |
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs
|
Monir, Negar
|
|
|
58 |
11 |
p. 99-106
|
artikel
|
| 23 |
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees ⁎ ⁎ The research is supported in part by the Natural Sciences and Engineering Research Council of Canada and the Canada Research Chairs program.
|
Liu, Jun
|
|
|
58 |
11 |
p. 201-206
|
artikel
|
| 24 |
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems
|
Samari, Behrad
|
|
|
58 |
11 |
p. 63-68
|
artikel
|
| 25 |
Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach*
|
Alaoui, Sadek Belamfedel
|
|
|
58 |
11 |
p. 153-158
|
artikel
|
| 26 |
On Hybrid Prescribed-Time Concurrent Learning with Switching Datasets ⁎ ⁎ This work was supported in part by NSF Grant ECCS 2305756 and AFOSR Grant FA9550-22-1-0211.
|
Ochoa, Daniel E.
|
|
|
58 |
11 |
p. 207-212
|
artikel
|
| 27 |
Online Learning for Safe Model Predictive Control with the Compatible Models Approach ⁎ ⁎ 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
|
|
|
58 |
11 |
p. 147-152
|
artikel
|
| 28 |
On Robust Controlled Invariants for Continuous-time Monotone Systems
|
Wafo Wembe, Emmanuel Jr.
|
|
|
58 |
11 |
p. 135-140
|
artikel
|
| 29 |
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
|
Engelaar, M.H.W.
|
|
|
58 |
11 |
p. 93-98
|
artikel
|
| 30 |
Safe Reach Set Computation via Neural Barrier Certificates ⁎ ⁎ Sergiy Bogomolov, contributing author, deceased in 2023.
|
Abate, Alessandro
|
|
|
58 |
11 |
p. 107-114
|
artikel
|
| 31 |
Stability Analysis of Hybrid Integrator-Gain Systems using Linear Programming ⁎ ⁎ The research leading to these results has received funding from the European Research Council under the Advanced ERC Grant Agreement PROACTHIS, no. 101055384.
|
Palacios Roman, Juan Javier
|
|
|
58 |
11 |
p. 19-24
|
artikel
|
| 32 |
Stochastic approximations of hybrid systems with continuous flow maps ⁎ ⁎ Andrew R. Teel’s research supported in part by AFOSR FA9550-21-1-0452.
|
Teel, Andrew R.
|
|
|
58 |
11 |
p. 141-146
|
artikel
|
| 33 |
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
|
Nadali, Alireza
|
|
|
58 |
11 |
p. 129-134
|
artikel
|
| 34 |
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates ⁎ ⁎ This work was supported in by NSF CPS Frontier project CNS-2111688 and the National Natural Science Foundation of China (62173226,62061136004).
|
Zhong, Bingzhuo
|
|
|
58 |
11 |
p. 81-86
|
artikel
|
| 35 |
Verification of Parametric Properties of Linear Discrete-time Stochastic Systems ⁎ ⁎ This work was partially supported by NSF CAREER Grant No. 1552668, NSF Grant No. 2008957 and Amazon Research Award.
|
Lal, Ratan
|
|
|
58 |
11 |
p. 195-200
|
artikel
|
Tijdschrift beschrijving