2 citations · 9 across the 21 of their papers we have counts for
23 papers
End-to-End Abstraction-Based Control with LLM-Enhanced NL-to-LTL Translation
Amir Bayat, Necmiye Ozay, Alessandro Abate +1
Abstraction-Based Controller Design (ABCD) offers a principled framework for the safe control of complex Cyber-Physical Systems (CPSs), but interfacing real-world requirements with…
On Tikhonov Regularization for Direct and Indirect Data-Driven LQR Control
Shuyuan Zhang, Zheming Wang, Raphael M. Jungers
In recent years, the so-called `direct data-driven control' has been a topic of intense research, and it is expected that it will become prominent in future complex dynamical syste…
Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
Adrien Banse, Alessandro Abate, Raphaël M. Jungers
Labeled Markov Chains (or LMCs for short) are useful mathematical objects to model complex probabilistic languages. A central challenge is to compare two LMCs, for example to asses…
LLM-Enhanced Symbolic Control for Safety-Critical Applications
Amir Bayat, Alessandro Abate, Necmiye Ozay +1
Motivated by Smart Manufacturing and Industry 4.0, we introduce a framework for synthesizing Abstraction-Based Controller Design (ABCD) for reach-avoid problems from Natural Langua…
Region of Synchronization Estimation for Complex Networks via SOS Programming
Shuyuan Zhang, Raphaël M. Jungers, Lei Wang
In this article, we explore the problem of the region of synchronization (ROS) for complex networks with nonlinear dynamics. Given a pair of state- and target- sets, our goal is to…
Agile Temporal Discretization for Symbolic Optimal Control
Adrien Janssens, Adrien Banse, Julien Calbert +1
As control systems grow in complexity, abstraction-based methods have become essential for designing controllers with formal guarantees. However, a key limitation of these methods…
Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti +2
With the increasing ubiquity of safety-critical autonomous systems operating in uncertain environments, there is a need for mathematical methods for formal verification of stochast…
The cohomology objects of a semi-abelian variety are small
Sébastien Mattenet, Tim Van der Linden, Raphaël M. Jungers
A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of -step extensions (i.e., equivalence classes of exact sequences of a gi…
Characterizing simulation relations through control architectures in abstraction-based control
Julien Calbert, Antoine Girard, Raphaël M. Jungers
Abstraction-based control design is a promising approach for ensuring safety-critical control of complex cyber-physical systems. A key aspect of this methodology is the relation be…
A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning
Adrien Banse, Venkatraman Renganathan, Raphaël M. Jungers
We extend the notion of Cantor-Kantorovich distance between Markov chains introduced by (Banse et al., 2023) in the context of Markov Decision Processes (MDPs). The proposed metric…
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
Adrien Banse, Licio Romao, Alessandro Abate +1
Abstractions of dynamical systems enable their verification and the design of feedback controllers using simpler, usually discrete, models. In this paper, we propose a data-driven…
Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas
This paper studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global cont…
Dionysos.jl: a Modular Platform for Smart Symbolic Control
Julien Calbert, Adrien Banse, Benoît Legat +1
We introduce Dionysos.jl, a modular package for solving optimal control problems for complex dynamical systems using state-of-the-art and experimental techniques from symbolic cont…
Memoryless concretization relation
Julien Calbert, Sébastien Mattenet, Antoine Girard +1
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alt…
Smart abstraction based on iterative cover and non-uniform cells
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
We propose a multi-scale approach for computing abstractions of dynamical systems, that incorporates both local and global optimal control to construct a goal-specific abstraction.…
CC-VPSTO: Chance-Constrained Via-Point-Based Stochastic Trajectory Optimisation for Online Robot Motion Planning under Uncertainty
Lara Brudermüller, Guillaume Berger, Julius Jankowski +3
Reliable robot autonomy hinges on decision-making systems that account for uncertainty without imposing overly conservative restrictions on the robot's action space. We introduce C…
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
Virginie Debauche, Alec Edwards, Raphael M. Jungers +1
Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis…
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]
Adrien Banse, Licio Romao, Alessandro Abate +1
We introduce an adaptive refinement procedure for smart, and scalable abstraction of dynamical systems. Our technique relies on partitioning the state space depending on the observ…
Learning stability guarantees for constrained switching linear systems from noisy observations
Adrien Banse, Zheming Wang, Raphaël M. Jungers
We present a data-driven framework based on Lyapunov theory to provide stability guarantees for a family of hybrid systems. In particular, we are interested in the asymptotic stabi…
Learning stability of partially observed switched linear systems
Zheming Wang, Raphaël M. Jungers, Mihály Petreczky +2
This paper deals with learning stability of partially observed switched linear systems under arbitrary switching. Such systems are widely used to describe cyber-physical systems wh…
An Efficient Method to Verify the Inclusion of Ellipsoids
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
We present a novel method for deciding whether a given n-dimensional ellipsoid contains another one (possibly with a different center). This method consists in constructing a parti…
Learning stability guarantees for data-driven constrained switching linear systems
Adrien Banse, Zheming Wang, Raphaël M. Jungers
We consider stability analysis of constrained switching linear systems in which the dynamics is unknown and whose switching signal is constrained by an automaton. We propose a data…
Razumikhin and Krasovskii Approaches for Safe Stabilization
Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas
This paper studies the stabilization and safety problems of nonlinear time-delay systems. Following both Razumikhin and Krasovskii approaches, we propose novel control Lyapunov fun…