ADHS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 500

2024

On Hybrid Prescribed-Time Concurrent Learning with Switching DatasetsDaniel E. Ochoa 0002, Jorge I. Poveda. adhs 2024: 207-212 [doi]

LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal GuaranteesJun 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 SystemsNan Wang 0023, Ricardo G. Sanfelice. adhs 2024: 51-56 [doi]

Safe Reach Set Computation via Neural Barrier CertificatesAlessandro 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 ApproachSadek Belamfedel Alaoui, Adnane Saoud. adhs 2024: 153-158 [doi]

Contract-Based Design for Hybrid Dynamical Systems and Invariance PropertiesSadek Belamfedel Alaoui, Adnane Saoud. adhs 2024: 189-194 [doi]

Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural NetworksMahathi Anand, Majid Zamani 0001. adhs 2024: 171-176 [doi]

A Simulation Preorder for Koopman-like Lifted Control SystemsAntoine Aspeel, Necmiye Ozay. adhs 2024: 25-30 [doi]

Formal Verification of Stability for Parametric affine Switched SystemsLudovico Battista, Stefano Tonetta. adhs 2024: 37-42 [doi]

Incremental Stability of Discrete-Time First-Order Projection ElementsRiccardo Bertollo, Sebastiaan van den Eijnden, W. P. Maurice H. Heemels. adhs 2024: 123-128 [doi]

Hybrid System Identification through Optimization and Active LearningHadi Dayekh, Nicolas Basset, Thao Dang 0001. adhs 2024: 87-92 [doi]

Risk-Aware MPC for Stochastic Systems with Runtime Temporal LogicsMaico Hendrikus Wilhelmus Engelaar, Zengjie Zhang, M. Lazar, Sofie Haesaert. adhs 2024: 93-98 [doi]

Compositional Synthesis of Controllers via Co-Büchi Barrier CertificatesFelipe Galarza-Jimenez, Vishnu Murali, Majid Zamani 0001. adhs 2024: 57-62 [doi]

Error Bounds for Compositions of Piecewise affine ApproximationsJonah 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 JAXAkash Harapanahalli, Saber Jafarpour, Samuel Coogan 0001. adhs 2024: 75-80 [doi]

LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback ControllersNavid 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 SystemsEmmanuel Wafo Wembe Jr., Adnane Saoud. adhs 2024: 135-140 [doi]

Verification of Parametric Properties of Linear Discrete-time Stochastic SystemsRatan 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, 2024Abolfazl 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 GamesSantiago 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 ApproachAnas Makdesi, Antoine Girard, Laurent Fribourg. adhs 2024: 147-152 [doi]

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision ProcessesFrederik Baymler Mathiesen, Morteza Lahijanian, Luca Laurenti. adhs 2024: 1-6 [doi]

Lyapunov-Based Policy Synthesis for Multi-Objective Interval MDPsNegar Monir, Oliver Schön, Sadegh Soudjani. adhs 2024: 99-106 [doi]

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics ModelAlireza Nadali, Ashutosh Trivedi 0001, Majid Zamani 0001. adhs 2024: 129-134 [doi]

Stability Analysis of Hybrid Integrator-Gain Systems using Linear ProgrammingJuan 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 SystemsBehrad 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 VerificationOliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani. adhs 2024: 115-122 [doi]

Stochastic approximations of hybrid systems with continuous flow mapsAndrew R. Teel, Rafal Goebel. adhs 2024: 141-146 [doi]

Direct data-driven control with signal temporal logic specificationsB. 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 SamplingAlexis Vuille, Guillaume O. Berger, Raphaël M. Jungers. adhs 2024: 31-36 [doi]

Conical Transition Graphs for Analysis of Asymptotic Stability in Hybrid Dynamical SystemsPaul K. Wintz, Ricardo G. Sanfelice. adhs 2024: 159-164 [doi]

D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and AbstractionYejiang 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 FreedomTaha Yasini, Ali Pakniyat. adhs 2024: 69-74 [doi]

Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation RelationsBingzhuo Zhong, Murat Arcak, Majid Zamani 0001. adhs 2024: 13-18 [doi]

Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier CertificatesBingzhuo 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 SynthesisSota Sato 0001, Masaki Waga, Ichiro Hasuo. adhs 2021: 217-222 [doi]

Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary resultsNicolas Augier, Agustín Gabriel Yabo. adhs 2021: 205-210 [doi]

A hybrid control framework for an optimal visiting problemFabio Bagagiolo, Adriano Festa, Luciano Marzufero. adhs 2021: 241-246 [doi]

The orienteering problem: a hybrid control formulationFabio Bagagiolo, Adriano Festa, Luciano Marzufero. adhs 2021: 175-180 [doi]

Reachability of Black-Box Nonlinear Systems after Koopman Operator LinearizationStanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin. adhs 2021: 253-258 [doi]

Adaptive Testing for Specification Coverage in CPS ModelsEzio 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 InequalitiesGuillaume O. Berger, Maben Rabi. adhs 2021: 283-288 [doi]

Reset-control-based current tracking for a solenoid with unknown parametersR. Bertollo, M. Schwegel, Andreas Kugi, Luca Zaccarian. adhs 2021: 199-204 [doi]

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical SystemsLuca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin. adhs 2021: 223-228 [doi]

Augmented obstacle avoidance controller design for mobile robotsPhilipp Braun, Luca Zaccarian. adhs 2021: 157-162 [doi]

ModelGuard: Runtime Validation of Lipschitz-continuous ModelsTaylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer. adhs 2021: 37-42 [doi]

An approximation for nonlinear differential-algebraic equations via singular perturbation theoryYahao Chen, Stephan Trenn. adhs 2021: 187-192 [doi]

Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching SystemsVirginie Debauche, Matteo Della Rossa, Raphaël M. Jungers. adhs 2021: 151-156 [doi]

Mathematical modelling and optimal control of the seasonal coffee leaf rust propagationClotilde 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 SystemsLucas N. Egidio, Anders Hansson. adhs 2021: 301-306 [doi]

PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction RefinementWael Fatnassi, Yasser Shoukry. adhs 2021: 43-48 [doi]

Verified Polynomial Controller Synthesis for Disturbed Nonlinear SystemsVictor Gaßmann, Matthias Althoff. adhs 2021: 85-90 [doi]

Learning Safe and Optimal Control Strategies for Storm Water Detention PondsMartijn 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 systemsEric Goubault, Sylvie Putot. adhs 2021: 235-240 [doi]

Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed DataSyed 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 RestorationIlker 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 TreesVittorio 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 ExplorationElena Ivanova, Antoine Girard. adhs 2021: 109-114 [doi]

Determination of limit cycles using stroboscopic set-valued mapsJawher Jerray, Laurent Fribourg. adhs 2021: 139-144 [doi]

An Approximation of Minimax Control using Random Sampling and Symbolic ComputationJawher Jerray, Laurent Fribourg, Étienne André. adhs 2021: 265-270 [doi]

Hybrid Adaptive Control for the DC-DC Boost ConverterRyan 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, 2021Raphaë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 systemsAtreyee Kundu. adhs 2021: 145-150 [doi]

Geometric control of algebraic systemsBenoît Legat, Raphaël M. Jungers. adhs 2021: 79-84 [doi]

ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical SystemsYinan Li, Zhibing Sun, Jun Liu 0015. adhs 2021: 31-36 [doi]

Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant SetsZexiang Liu, Necmiye Ozay. adhs 2021: 163-168 [doi]

A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid SystemsAhmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen. adhs 2021: 259-264 [doi]

Symbolic Qualitative Control for Stochastic Systems via Finite Parity GamesRupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani. adhs 2021: 127-132 [doi]

Efficient Data-Driven Abstraction of Monotone Systems with DisturbancesAnas Makdesi, Antoine Girard, Laurent Fribourg. adhs 2021: 49-54 [doi]

Regularized Switched System Identification: a Statistical Learning PerspectiveLouis Massucci, Fabien Lauer, Marion Gilson. adhs 2021: 55-60 [doi]

Planning in Dynamic and Partially Unknown EnvironmentsKristina Miller, Chuchu Fan, Sayan Mitra. adhs 2021: 169-174 [doi]

Data-Driven Estimation of Infinitesimal Generators of Stochastic SystemsAmeneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani. adhs 2021: 277-282 [doi]

Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical SystemsPavithra Prabhakar, Jun Liu 0015. adhs 2021: 115-120 [doi]

Learning Robust Hybrid Control Barrier Functions for Uncertain SystemsAlexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni. adhs 2021: 1-6 [doi]

Data-driven stability analysis of switched linear systems with Sum of Squares guaranteesAnne Rubbens, Zheming Wang, Raphaël M. Jungers. adhs 2021: 67-72 [doi]

Data-Driven Safety Verification of Stochastic Systems via Barrier CertificatesAli 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 ControlAdnane Saoud, Ricardo G. Sanfelice. adhs 2021: 91-96 [doi]

Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamicsMathias Serieye, Carolina Albea, Alexandre Seuret, Marc Jungers. adhs 2021: 295-300 [doi]

Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational ToolsMiel 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 systemsPouria Tajvar, Pierre-Jean Meyer, Jana Tumova. adhs 2021: 121-126 [doi]

Switched Systems as Hybrid ProgramsYong Kiam Tan, André Platzer. adhs 2021: 247-252 [doi]

Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain SystemsD. 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 SystemsXinyong Wang, Ying Tang, Christophe Fiter, Laurentiu Hetel. adhs 2021: 133-138 [doi]

Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic WalkingTyler 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 ControllersTyler Westenbroek, Ayush Agrawal, Fernando Castañeda, S. Shankar Sastry, Koushil Sreenath. adhs 2021: 19-24 [doi]

Safety Control Synthesis for Systems with Missing MeasurementsLiren Yang, Necmiye Ozay. adhs 2021: 97-102 [doi]

Results on hybrid control of self-oscillating resonant convertersNicola Zaupa, Luis Martínez-Salamero, Carlos Olalla, Luca Zaccarian. adhs 2021: 211-216 [doi]

2018

Numerical Verification of 10000-dimensional Linear Systems 10000x FasterStanley Bak. adhs 2018: 135-144 [doi]

k-InductionStanley Bak. adhs 2018: 145-150 [doi]

Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle FiltersAriadna Estrada, Ian M. Mitchell. adhs 2018: 290-295 [doi]

Higher-Dimensional Timed AutomataUli Fahrenberg. adhs 2018: 109-114 [doi]

Switch induced instabilities for stable power system DAE modelsTjorben B. Gross, Stephan Trenn, Andreas Wirsen. adhs 2018: 127-132 [doi]

ARCH-COMP18 Repeatability Evaluation ReportTaylor 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 ApproachAshok 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 EquationsHoang-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 eventsRonald R. P. van Nooijen, Alla G. Kolechkina. adhs 2018: 61-66 [doi]

Optimal Symbolic Controllers Determinization for BDD storageIvan S. Zapreev, Cees Verdier, Manuel Mazo Jr.. adhs 2018: 1-6 [doi]

Sign in or sign up to see more results.

runs on WebDSL