Cover Image

Characterizing simulation relations through control architectures in abstraction-based control

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Calbert, Julien, Girard, Antoine, Jungers, Raphaël M.
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Dynamical Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Memoryless concretization relation
by: Calbert, Julien, et al.
Published: (2024)

Smart abstraction based on iterative cover and non-uniform cells
by: Calbert, Julien, et al.
Published: (2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control
by: Calbert, Julien, et al.
Published: (2024)

Agile Temporal Discretization for Symbolic Optimal Control
by: Janssens, Adrien, et al.
Published: (2025)

Exploiting Over-Approximation Errors as Preview Information for Nonlinear Control
by: Aspeel, Antoine, et al.
Published: (2025)

Cyberattacks on Adaptive Cruise Control Vehicles: An Analytical Characterization
by: Wang, Shian, et al.
Published: (2024)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
by: Banse, Adrien, et al.
Published: (2025)

Lyapunov based dynamic controller designs for reach-and-avoid problems
by: Lanza, Lukas, et al.
Published: (2024)

Setpoint control of bilinear systems from noisy data
by: Bisoffi, Andrea, et al.
Published: (2024)

Ordering and refining path-complete Lyapunov functions through composition lifts
by: Jongeneel, Wouter, et al.
Published: (2025)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
by: Banse, Adrien, et al.
Published: (2024)

Boundedness of solutions in feedback systems with antithetic controllers
by: Wafi, Moh Kamalul, et al.
Published: (2026)

Towards optimal control of ensembles of discrete-time systems
by: Fiedler, Christian, et al.
Published: (2025)

Backstepping control for the sterile mosquitoes technique: stabilization of extinction equilibrium
by: Cristofaro, Andrea, et al.
Published: (2024)

Co-evolutionary control of a class of coupled mixed-feedback systems
by: Venegas-Pineda, Luis Guillermo, et al.
Published: (2024)

Reduced-order Smith predictor for state feedback control with guaranteed stability
by: Toledo-Zucco, Jesus-Pablo, et al.
Published: (2025)

A convex variational principle for the necessary conditions of classical optimal control
by: Acharya, Amit, et al.
Published: (2025)

Observer-based neural networks for flow estimation and control
by: Déda, Tarcísio C., et al.
Published: (2025)

Internet malware propagation: Dynamics and control through SEIRV epidemic model with relapse and intervention
by: Ghosh, Samiran, et al.
Published: (2026)

Adaptive control for multi-scale stochastic dynamical systems with stochastic next generation reservoir computing
by: Cheng, Jiani, et al.
Published: (2025)

A superposition approach for the ISS Lyapunov-Krasovskii theorem with pointwise dissipation
by: Mironchenko, Andrii, et al.
Published: (2026)

Lyapunov Characterization for ISS of Impulsive Switched Systems
by: Ahmed, Saeed, et al.
Published: (2024)

Duality between controllability and observability for target control and estimation in networks
by: Montanari, Arthur N., et al.
Published: (2024)

Characterization of input-to-output stability for infinite-dimensional systems
by: Bachmann, Patrick, et al.
Published: (2024)

Measurements and System Identification for the Characterization of Smooth Muscle Cell Dynamics
by: Ozturk, Dilan, et al.
Published: (2024)

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks
by: Stella, Leonardo, et al.
Published: (2025)

ESDIRK-based nonlinear model predictive control for stochastic differential-algebraic equations
by: Christensen, Anders Hilmar Damm, et al.
Published: (2024)

Behavioral-feedback SIR epidemic model: analysis and control
by: Alutto, Martina, et al.
Published: (2025)

Reservoir computing for system identification and predictive control with limited data
by: Williams, Jan P., et al.
Published: (2024)

A corona theorem for an algebra of Radon measures with an application to exact controllability for linear controlled delayed difference equations
by: Fueyo, Sebastien, et al.
Published: (2023)

Generalized TCP-RED dynamical model for Internet congestion control
by: Amigó, José M., et al.
Published: (2025)

Optimization, guidance, and control of low-thrust transfers from the Lunar Gateway to low lunar orbit
by: Pozzi, Chiara, et al.
Published: (2024)

Approximate controllability on the group of volume-preserving diffeomorphisms
by: Agrachev, Andrei, et al.
Published: (2026)

Robust data-driven learning and control of nonlinear systems. A Sontag's formula approach
by: Becerra-Mora, Yeyson A., et al.
Published: (2023)

Steering opinion dynamics through control of social networks
by: Nugent, Andrew, et al.
Published: (2024)

Hybrid Lyapunov-based feedback stabilization of bipedal locomotion based on reference spreading
by: Bertollo, Riccardo, et al.
Published: (2024)

How to discretize continuous state-action spaces in Q-learning: A symbolic control approach
by: Alaoui, Sadek Belamfedel, et al.
Published: (2024)

Data-driven discovery and control of multistable nonlinear systems and hysteresis via structured Neural ODEs
by: Salas, Ike Griss, et al.
Published: (2026)

Data-driven stabilization of an oscillating flow with LTI controllers
by: Jussiau, W., et al.
Published: (2024)

Real-time control of multiphase processes with learned operators
by: Guida, Paolo, et al.
Published: (2026)