Image de couverture de livre

Dionysos.jl: a Modular Platform for Smart Symbolic Control

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Calbert, Julien, Banse, Adrien, Legat, Benoît, Jungers, Raphaël M.
Format:	Preprint
Publié:	2024
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Agile Temporal Discretization for Symbolic Optimal Control
par: Janssens, Adrien, et autres
Publié: (2025)

Characterizing simulation relations through control architectures in abstraction-based control
par: Calbert, Julien, et autres
Publié: (2024)

A Path-Complete Approach for Optimal Control of Switched Systems
par: Ninite, Léa, et autres
Publié: (2026)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
par: Banse, Adrien, et autres
Publié: (2024)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators
par: Banse, Adrien, et autres
Publié: (2025)

Smart abstraction based on iterative cover and non-uniform cells
par: Calbert, Julien, et autres
Publié: (2024)

LLM-Enhanced Symbolic Control for Safety-Critical Applications
par: Bayat, Amir, et autres
Publié: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
par: Ren, Wei, et autres
Publié: (2024)

Ordering and refining path-complete Lyapunov functions through composition lifts
par: Jongeneel, Wouter, et autres
Publié: (2025)

Memoryless concretization relation
par: Calbert, Julien, et autres
Publié: (2024)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
par: Della Rossa, Matteo, et autres
Publié: (2023)

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning
par: Banse, Adrien, et autres
Publié: (2024)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
par: Banse, Adrien, et autres
Publié: (2025)

On the Completeness and Ordering of Path-Complete Barrier Functions
par: Anand, Mahathi, et autres
Publié: (2025)

Modularized Neural Network Incorporating Physical Priors for Smart Building Control, Accuracy or Consistency?
par: Jiang, Zixin, et autres
Publié: (2024)

CC-VPSTO: Chance-Constrained Via-Point-Based Stochastic Trajectory Optimisation for Online Robot Motion Planning under Uncertainty
par: Brudermüller, Lara, et autres
Publié: (2024)

ModelPredictiveControl.jl: advanced process control made easy in Julia
par: Gagnon, Francis, et autres
Publié: (2024)

Context-triggered Abstraction-based Control Design
par: Nayak, Satya Prakash, et autres
Publié: (2023)

Model-Based Adaptive Control of Modular Multilevel Converters
par: Tebaldi, Davide, et autres
Publié: (2024)

PowerSimulations.jl -- A Power Systems operations simulation Library
par: Lara, Jose Daniel, et autres
Publié: (2024)

PolyOCP.jl -- A Julia Package for Stochastic OCPs and MPC
par: Ou, Ruchuan, et autres
Publié: (2025)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
par: Mazouz, Rayan, et autres
Publié: (2026)

On Tikhonov Regularization for Direct and Indirect Data-Driven LQR Control
par: Zhang, Shuyuan, et autres
Publié: (2026)

Reactive Environments for Active Inference Agents with RxEnvironments.jl
par: Nuijten, Wouter W. L., et autres
Publié: (2024)

ElectricityEmissions.jl: A Framework for the Comparison of Carbon Intensity Signals
par: Gorka, Joe, et autres
Publié: (2024)

RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
par: Barbara, Nicholas H., et autres
Publié: (2023)

Symbolic Control: Unveiling Free Robustness Margins
par: Si, Youssef Ait, et autres
Publié: (2025)

Adaptive Modular Geometric Control of Robotic Manipulators
par: Hejrati, Mahdi, et autres
Publié: (2026)

Symbolic Control for Autonomous Docking of Marine Surface Vessels
par: Dietrich, Elizabeth, et autres
Publié: (2025)

Optimal Control of Renewable Energy Communities subject to Network Peak Fees with Model Predictive Control and Reinforcement Learning Algorithms
par: Aittahar, Samy, et autres
Publié: (2024)

PowerSimulationsDynamics.jl -- An Open Source Modeling Package for Modern Power Systems with Inverter-Based Resources
par: Lara, Jose Daniel, et autres
Publié: (2023)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
par: Sibai, Hussein, et autres
Publié: (2024)

Neuromorphic Control of a Pendulum
par: Schmetterling, Raphael, et autres
Publié: (2024)

Smart Predict-Then-Control: Control-Aware Surrogate Refinement for System Identification
par: Li, Jiachen, et autres
Publié: (2025)

Grid-Forming Control of Modular Dynamic Virtual Power Plants
par: He, Xiuqiang, et autres
Publié: (2024)

Performance-Aware Control of Modular Batteries For Fast Frequency Response
par: He, Yutong, et autres
Publié: (2025)

PowerPlots.jl: An Open Source Power Grid Visualization and Data Analysis Framework for Academic Research
par: Rhodes, Noah
Publié: (2025)

ExaModelsPower.jl: A GPU-Compatible Modeling Library for Nonlinear Power System Optimization
par: Johnson, Sanjay, et autres
Publié: (2025)

SUSTAINABLE Platform: Seamless Smart Farming Integration Towards Agronomy Automation
par: Bompotas, Agorakis, et autres
Publié: (2025)

Cyberattacks on Adaptive Cruise Control Vehicles: An Analytical Characterization
par: Wang, Shian, et autres
Publié: (2024)