researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2003
2006
2009
2012
2015
2018
2021
2024
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Adnane Saoud
Alessandro Abate
Alessandro Giua
Antoine Girard
Carla Seatzu
Christos G. Cassandras
Jamal Daafouz
Jan Lunze
John Lygeros
Magnus Egerstedt
Manuel Silva 0001
Maria Domenica Di Benedetto
Necmiye Ozay
Olaf Stursberg
Raphaël M. Jungers
Ricardo G. Sanfelice
Sadegh Soudjani
Stanley Bak
W. P. M. H. Heemels
Yorai Wardi
Filter by Top terms
[+]
OR
AND
NOT
1
affine
analysis
approach
continuous
control
design
discrete
hybrid
linear
model
optimal
petri
stability
stochastic
switched
system
systems
time
using
via
ADHS (adhs)
Editions
Publications
Viewing Publication 1 - 100 from 500
2024
On Hybrid Prescribed-Time Concurrent Learning with Switching Datasets
Daniel E. Ochoa 0002
,
Jorge I. Poveda
.
adhs 2024
:
207-212
[doi]
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees
Jun Liu 0015
,
Yiming Meng
,
Ruikun Zhou
.
adhs 2024
:
201-206
[doi]
HyRRT-Connect: An Efficient Bidirectional Rapidly-Exploring Random Trees Motion Planning Algorithm for Hybrid Dynamical Systems
Nan Wang 0023
,
Ricardo G. Sanfelice
.
adhs 2024
:
51-56
[doi]
Safe Reach Set Computation via Neural Barrier Certificates
Alessandro Abate
,
Sergiy Bogomolov
,
Alec Edwards
,
Kostiantyn Potomkin
,
Sadegh Soudjani
,
Paolo Zuliani
.
adhs 2024
:
107-114
[doi]
Necessary and sufficient Conditions of Forward Invariance in Hybrid Dnamical Systems: An LMI Approach
Sadek Belamfedel Alaoui
,
Adnane Saoud
.
adhs 2024
:
153-158
[doi]
Contract-Based Design for Hybrid Dynamical Systems and Invariance Properties
Sadek Belamfedel Alaoui
,
Adnane Saoud
.
adhs 2024
:
189-194
[doi]
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks
Mahathi Anand
,
Majid Zamani 0001
.
adhs 2024
:
171-176
[doi]
A Simulation Preorder for Koopman-like Lifted Control Systems
Antoine Aspeel
,
Necmiye Ozay
.
adhs 2024
:
25-30
[doi]
Formal Verification of Stability for Parametric affine Switched Systems
Ludovico Battista
,
Stefano Tonetta
.
adhs 2024
:
37-42
[doi]
Incremental Stability of Discrete-Time First-Order Projection Elements
Riccardo Bertollo
,
Sebastiaan van den Eijnden
,
W. P. Maurice H. Heemels
.
adhs 2024
:
123-128
[doi]
Hybrid System Identification through Optimization and Active Learning
Hadi Dayekh
,
Nicolas Basset
,
Thao Dang 0001
.
adhs 2024
:
87-92
[doi]
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
Maico Hendrikus Wilhelmus Engelaar
,
Zengjie Zhang
,
M. Lazar
,
Sofie Haesaert
.
adhs 2024
:
93-98
[doi]
Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates
Felipe Galarza-Jimenez
,
Vishnu Murali
,
Majid Zamani 0001
.
adhs 2024
:
57-62
[doi]
Error Bounds for Compositions of Piecewise affine Approximations
Jonah J. Glunt
,
Jacob A. Siefert
,
Andrew F. Thompson
,
Herschel C. Pangborn
.
adhs 2024
:
43-50
[doi]
immrax: A Parallelizable and Differentiable Toolbox for Interval Analysis and Mixed Monotone Reachability in JAX
Akash Harapanahalli
,
Saber Jafarpour
,
Samuel Coogan 0001
.
adhs 2024
:
75-80
[doi]
LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers
Navid Hashemi
,
Samuel Williams
,
Bardh Hoxha
,
Danil V. Prokhorov
,
Georgios Fainekos
,
Jyotirmoy Deshmukh
.
adhs 2024
:
183-188
[doi]
On Robust Controlled Invariants for Continuous-time Monotone Systems
Emmanuel Wafo Wembe Jr.
,
Adnane Saoud
.
adhs 2024
:
135-140
[doi]
Verification of Parametric Properties of Linear Discrete-time Stochastic Systems
Ratan Lal
,
Pavithra Prabhakar
.
adhs 2024
:
195-200
[doi]
8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024
Abolfazl Lavaei
,
Pavithra Prabhakar
,
Luca Zaccarian
,
Majid Zamani 0001
, editors,
Volume 58 of
IFAC-PapersOnLine
, Elsevier,
2024.
[doi]
A Hybrid Dynamical System Formulation of Capture-the-Flag Games
Santiago Jimenez Leudo
,
Philipp Braun
,
Ricardo G. Sanfelice
,
Iman Shames
.
adhs 2024
:
165-170
[doi]
Online Learning for Safe Model Predictive Control with the Compatible Models Approach
Anas Makdesi
,
Antoine Girard
,
Laurent Fribourg
.
adhs 2024
:
147-152
[doi]
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
Frederik Baymler Mathiesen
,
Morteza Lahijanian
,
Luca Laurenti
.
adhs 2024
:
1-6
[doi]
Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPs
Negar Monir
,
Oliver Schön
,
Sadegh Soudjani
.
adhs 2024
:
99-106
[doi]
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
Alireza Nadali
,
Ashutosh Trivedi 0001
,
Majid Zamani 0001
.
adhs 2024
:
129-134
[doi]
Stability Analysis of Hybrid Integrator-Gain Systems using Linear Programming
Juan Javier Palacios Roman
,
Sigurdur F. Hafstein
,
Sebastiaan J. A. M. van den Eijnden
,
Marcel François Heertjes
,
W. P. M. H. Heemels
.
adhs 2024
:
19-24
[doi]
Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems
Behrad Samari
,
Matteo Della Rossa
,
Abolfazl Lavaei
,
Sadegh Soudjani
,
Raphaël M. Jungers
.
adhs 2024
:
63-68
[doi]
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
Oliver Schön
,
Shammakh Naseer
,
Ben Wooding
,
Sadegh Soudjani
.
adhs 2024
:
115-122
[doi]
Stochastic approximations of hybrid systems with continuous flow maps
Andrew R. Teel
,
Rafal Goebel
.
adhs 2024
:
141-146
[doi]
Direct data-driven control with signal temporal logic specifications
B. C. van Huijgevoort
,
Chris Verhoek
,
Roland Tóth
,
Sofie Haesaert
.
adhs 2024
:
177-182
[doi]
Data-Driven Stability Analysis of Switched Linear Systems Using Adaptive Sampling
Alexis Vuille
,
Guillaume O. Berger
,
Raphaël M. Jungers
.
adhs 2024
:
31-36
[doi]
Conical Transition Graphs for Analysis of Asymptotic Stability in Hybrid Dynamical Systems
Paul K. Wintz
,
Ricardo G. Sanfelice
.
adhs 2024
:
159-164
[doi]
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction
Yejiang Yang
,
Zihao Mo
,
Weiming Xiang 0001
.
adhs 2024
:
7-12
[doi]
Hybrid Optimal Control of a Flying+Sailing Drone: Flying with 6 and Sailing with 5 Degrees of Freedom
Taha Yasini
,
Ali Pakniyat
.
adhs 2024
:
69-74
[doi]
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations
Bingzhuo Zhong
,
Murat Arcak
,
Majid Zamani 0001
.
adhs 2024
:
13-18
[doi]
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates
Bingzhuo Zhong
,
Weijie Dong
,
Xiang Yin 0003
,
Majid Zamani 0001
.
adhs 2024
:
81-86
[doi]
2021
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
Sota Sato 0001
,
Masaki Waga
,
Ichiro Hasuo
.
adhs 2021
:
217-222
[doi]
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results
Nicolas Augier
,
Agustín Gabriel Yabo
.
adhs 2021
:
205-210
[doi]
A hybrid control framework for an optimal visiting problem
Fabio Bagagiolo
,
Adriano Festa
,
Luciano Marzufero
.
adhs 2021
:
241-246
[doi]
The orienteering problem: a hybrid control formulation
Fabio Bagagiolo
,
Adriano Festa
,
Luciano Marzufero
.
adhs 2021
:
175-180
[doi]
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Stanley Bak
,
Sergiy Bogomolov
,
Parasara Sridhar Duggirala
,
Adam R. Gerlach
,
Kostiantyn Potomkin
.
adhs 2021
:
253-258
[doi]
Adaptive Testing for Specification Coverage in CPS Models
Ezio Bartocci
,
Roderick Bloem
,
Benedikt Maderbacher
,
Niveditha Manjunath
,
Dejan Nickovic
.
adhs 2021
:
229-234
[doi]
Bounds on set exit times of affine systems, using Linear Matrix Inequalities
Guillaume O. Berger
,
Maben Rabi
.
adhs 2021
:
283-288
[doi]
Reset-control-based current tracking for a solenoid with unknown parameters
R. Bertollo
,
M. Schwegel
,
Andreas Kugi
,
Luca Zaccarian
.
adhs 2021
:
199-204
[doi]
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Luca Bortolussi
,
Francesca Cairoli
,
Ginevra Carbone
,
Francesco Franchina
,
Enrico Regolin
.
adhs 2021
:
223-228
[doi]
Augmented obstacle avoidance controller design for mobile robots
Philipp Braun
,
Luca Zaccarian
.
adhs 2021
:
157-162
[doi]
ModelGuard: Runtime Validation of Lipschitz-continuous Models
Taylor J. Carpenter
,
Radoslav Ivanov
,
Insup Lee
,
James Weimer
.
adhs 2021
:
37-42
[doi]
An approximation for nonlinear differential-algebraic equations via singular perturbation theory
Yahao Chen
,
Stephan Trenn
.
adhs 2021
:
187-192
[doi]
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems
Virginie Debauche
,
Matteo Della Rossa
,
Raphaël M. Jungers
.
adhs 2021
:
151-156
[doi]
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation
Clotilde Djuikem
,
Agustín Gabriel Yabo
,
Frédéric Grognard
,
Suzanne Touzeau
.
adhs 2021
:
193-198
[doi]
On the Search for Equilibrium Points of Switched Affine Systems
Lucas N. Egidio
,
Anders Hansson
.
adhs 2021
:
301-306
[doi]
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement
Wael Fatnassi
,
Yasser Shoukry
.
adhs 2021
:
43-48
[doi]
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems
Victor Gaßmann
,
Matthias Althoff
.
adhs 2021
:
85-90
[doi]
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
Martijn A. Goorden
,
Kim G. Larsen
,
Jesper E. Nielsen
,
Thomas D. Nielsen
,
Michael R. Rasmussen
,
Jirí Srba
.
adhs 2021
:
13-18
[doi]
Tractable higher-order under-approximating AE extensions for non-linear systems
Eric Goubault
,
Sylvie Putot
.
adhs 2021
:
235-240
[doi]
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data
Syed M. Hassaan
,
Tarun Pati
,
Qiang Shen 0003
,
Sze Zheng Yong
.
adhs 2021
:
103-108
[doi]
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration
Ilker Isik
,
Onur Yigit Arpali
,
Ebru Aydin Gol
.
adhs 2021
:
271-276
[doi]
On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees
Vittorio De Iuliis
,
Francesco Smarra
,
Costanzo Manes
,
Alessandro D'Innocenzo
.
adhs 2021
:
61-66
[doi]
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration
Elena Ivanova
,
Antoine Girard
.
adhs 2021
:
109-114
[doi]
Determination of limit cycles using stroboscopic set-valued maps
Jawher Jerray
,
Laurent Fribourg
.
adhs 2021
:
139-144
[doi]
An Approximation of Minimax Control using Random Sampling and Symbolic Computation
Jawher Jerray
,
Laurent Fribourg
,
Étienne André
.
adhs 2021
:
265-270
[doi]
Hybrid Adaptive Control for the DC-DC Boost Converter
Ryan S. Johnson
,
Berk Altin
,
Ricardo G. Sanfelice
.
adhs 2021
:
73-78
[doi]
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021
Raphaël M. Jungers
,
Necmiye Ozay
,
Alessandro Abate
, editors,
Volume 54 of
IFAC-PapersOnLine
, Elsevier,
2021.
[doi]
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems
Atreyee Kundu
.
adhs 2021
:
145-150
[doi]
Geometric control of algebraic systems
Benoît Legat
,
Raphaël M. Jungers
.
adhs 2021
:
79-84
[doi]
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems
Yinan Li
,
Zhibing Sun
,
Jun Liu 0015
.
adhs 2021
:
31-36
[doi]
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets
Zexiang Liu
,
Necmiye Ozay
.
adhs 2021
:
163-168
[doi]
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems
Ahmad Madary
,
Hamid Reza Momeni
,
Alessandro Abate
,
Kim G. Larsen
.
adhs 2021
:
259-264
[doi]
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games
Rupak Majumdar
,
Kaushik Mallik
,
Anne-Kathrin Schmuck
,
Sadegh Soudjani
.
adhs 2021
:
127-132
[doi]
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances
Anas Makdesi
,
Antoine Girard
,
Laurent Fribourg
.
adhs 2021
:
49-54
[doi]
Regularized Switched System Identification: a Statistical Learning Perspective
Louis Massucci
,
Fabien Lauer
,
Marion Gilson
.
adhs 2021
:
55-60
[doi]
Planning in Dynamic and Partially Unknown Environments
Kristina Miller
,
Chuchu Fan
,
Sayan Mitra
.
adhs 2021
:
169-174
[doi]
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems
Ameneh Nejati
,
Abolfazl Lavaei
,
Sadegh Soudjani
,
Majid Zamani
.
adhs 2021
:
277-282
[doi]
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems
Pavithra Prabhakar
,
Jun Liu 0015
.
adhs 2021
:
115-120
[doi]
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems
Alexander Robey
,
Lars Lindemann
,
Stephen Tu
,
Nikolai Matni
.
adhs 2021
:
1-6
[doi]
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees
Anne Rubbens
,
Zheming Wang
,
Raphaël M. Jungers
.
adhs 2021
:
67-72
[doi]
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates
Ali Salamati
,
Abolfazl Lavaei
,
Sadegh Soudjani
,
Majid Zamani
.
adhs 2021
:
7-12
[doi]
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control
Adnane Saoud
,
Ricardo G. Sanfelice
.
adhs 2021
:
91-96
[doi]
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics
Mathias Serieye
,
Carolina Albea
,
Alexandre Seuret
,
Marc Jungers
.
adhs 2021
:
295-300
[doi]
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Miel Sharf
,
Bart Besselink
,
Adam Molin
,
Qiming Zhao
,
Karl Henrik Johansson
.
adhs 2021
:
25-30
[doi]
Closed-loop incremental stability for efficient symbolic control of non-linear systems
Pouria Tajvar
,
Pierre-Jean Meyer
,
Jana Tumova
.
adhs 2021
:
121-126
[doi]
Switched Systems as Hybrid Programs
Yong Kiam Tan
,
André Platzer
.
adhs 2021
:
247-252
[doi]
Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems
D. van Dinther
,
Bardia Sharif
,
S. J. A. M. van den Eijnden
,
Henk Nijmeijer
,
Marcel François Heertjes
,
W. P. M. H. Heemels
.
adhs 2021
:
289-294
[doi]
A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic Systems
Xinyong Wang
,
Ying Tang
,
Christophe Fiter
,
Laurentiu Hetel
.
adhs 2021
:
133-138
[doi]
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking
Tyler Westenbroek
,
Xiaobin Xiong
,
S. Shankar Sastry
,
Aaron D. Ames
.
adhs 2021
:
181-186
[doi]
Combining Model-Based Design and Model-Free Policy Optimization to Learn Safe, Stabilizing Controllers
Tyler Westenbroek
,
Ayush Agrawal
,
Fernando Castañeda
,
S. Shankar Sastry
,
Koushil Sreenath
.
adhs 2021
:
19-24
[doi]
Safety Control Synthesis for Systems with Missing Measurements
Liren Yang
,
Necmiye Ozay
.
adhs 2021
:
97-102
[doi]
Results on hybrid control of self-oscillating resonant converters
Nicola Zaupa
,
Luis Martínez-Salamero
,
Carlos Olalla
,
Luca Zaccarian
.
adhs 2021
:
211-216
[doi]
2018
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster
Stanley Bak
.
adhs 2018
:
135-144
[doi]
k-Induction
Stanley Bak
.
adhs 2018
:
145-150
[doi]
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters
Ariadna Estrada
,
Ian M. Mitchell
.
adhs 2018
:
290-295
[doi]
Higher-Dimensional Timed Automata
Uli Fahrenberg
.
adhs 2018
:
109-114
[doi]
Switch induced instabilities for stable power system DAE models
Tjorben B. Gross
,
Stephan Trenn
,
Andreas Wirsen
.
adhs 2018
:
127-132
[doi]
ARCH-COMP18 Repeatability Evaluation Report
Taylor T. Johnson
.
adhs 2018
:
128-134
[doi]
Lane change maneuver for autonomous vehicles (Benchmark Proposal)
Nikolaos Kekatos
,
Daniel Heß
,
Goran Frehse
.
adhs 2018
:
229-241
[doi]
Multi-Energy Scheduling Using a Hybrid Systems Approach
Ashok Krishnan
,
L. P. M. I. Sampath
,
Yi Shyh Eddy Foo
,
Bhagyesh V. Patil
,
Hoay Beng Gooi
.
adhs 2018
:
229-234
[doi]
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
Patrick Musau
,
Taylor T. Johnson
.
adhs 2018
:
196-207
[doi]
Linear Differential-Algebraic Equations (Benchmark Proposal)
Patrick Musau
,
Diego Manzanas Lopez
,
Hoang-Dung Tran
,
Taylor T. Johnson
.
adhs 2018
:
174-184
[doi]
Discrete-Space Analysis of Partial Differential Equations
Hoang-Dung Tran
,
Tianshu Bao
,
Taylor T. Johnson
.
adhs 2018
:
185-195
[doi]
A controlled sewer system should be treated as a sampled data system with events
Ronald R. P. van Nooijen
,
Alla G. Kolechkina
.
adhs 2018
:
61-66
[doi]
Optimal Symbolic Controllers Determinization for BDD storage
Ivan S. Zapreev
,
Cees Verdier
,
Manuel Mazo Jr.
.
adhs 2018
:
1-6
[doi]
Sign in
or
sign up
to see more results.