Cover Image

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Schön, Oliver, Haesaert, Sofie, Soudjani, Sadegh
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Artificial Intelligence Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
by: Schön, Oliver, et al.
Published: (2023)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Kernel-Based Learning of Safety Barriers
by: Schön, Oliver, et al.
Published: (2026)

Grid-Agent: An LLM-Powered Multi-Agent System for Power Grid Control
by: Zhang, Yan, et al.
Published: (2025)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)

Simulation-Based Optimistic Policy Iteration For Multi-Agent MDPs with Kullback-Leibler Control Cost
by: Nakhleh, Khaled, et al.
Published: (2024)

Autonomous Control Leveraging LLMs: An Agentic Framework for Next-Generation Industrial Automation
by: Vyas, Javal, et al.
Published: (2025)

Worker Robot Cooperation and Integration into the Manufacturing Workcell via the Holonic Control Architecture
by: Sadik, Ahmed R., et al.
Published: (2024)

Integrating Transit Signal Priority into Multi-Agent Reinforcement Learning based Traffic Signal Control
by: Kwesiga, Dickness Kakitahi, et al.
Published: (2024)

Traffic Smoothing Controllers for Autonomous Vehicles Using Deep Reinforcement Learning and Real-World Trajectory Data
by: Lichtlé, Nathan, et al.
Published: (2024)

MTTR-A: Measuring Cognitive Recovery Latency in Multi-Agent Systems
by: Or, Barak
Published: (2025)

A Multi-Agent Systems Approach for Peer-to-Peer Energy Trading in Dairy Farming
by: Shah, Mian Ibad Ali, et al.
Published: (2023)

Unified Crew Planning and Replanning Optimization in Multi-Line Metro Systems Considering Workforce Heterogeneity
by: Chen, Qihang
Published: (2025)

SPformer: A Transformer Based DRL Decision Making Method for Connected Automated Vehicles
by: Han, Ye, et al.
Published: (2024)

Agentic AI Home Energy Management System: A Large Language Model Framework for Residential Load Scheduling
by: Makroum, Reda El, et al.
Published: (2025)

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation
by: Xie, Kedi, et al.
Published: (2025)

System-of-systems Modeling and Optimization: An Integrated Framework for Intermodal Mobility
by: Saves, Paul, et al.
Published: (2025)

Cooperative Cruising: Reinforcement Learning-Based Time-Headway Control for Increased Traffic Efficiency
by: Veksler, Yaron, et al.
Published: (2024)

Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
by: Liu, Siyuan, et al.
Published: (2023)

Learning Altruistic Collaboration in Heterogeneous Multi-Team Systems
by: Karam, Riwa, et al.
Published: (2026)

Bayesian Critique-Tune-Based Reinforcement Learning with Adaptive Pressure for Multi-Intersection Traffic Signal Control
by: Duan, Wenchang, et al.
Published: (2024)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
by: Monir, Negar, et al.
Published: (2025)

A Hierarchical Agentic Framework for Autonomous Drone-Based Visual Inspection
by: Herron, Ethan, et al.
Published: (2025)

XR-DT: Extended Reality-Enhanced Digital Twin for Safe Motion Planning via Human-Aware Model Predictive Path Integral Control
by: Wang, Tianyi, et al.
Published: (2025)

Information-Driven Fault Detection and Identification for Multi-Agent Spacecraft Systems: Collaborative On-Orbit Inspection Mission
by: Gupta, Akshita, et al.
Published: (2025)

Consensus-Aware AV Behavior: Trade-offs Between Safety, Interaction, and Performance in Mixed Urban Traffic
by: Elayan, Mohammad, et al.
Published: (2025)

GUIDE: Guided Updates for In-context Decision Evolution in LLM-Driven Spacecraft Operations
by: Carrasco, Alejandro, et al.
Published: (2026)

Conversational Demand Response: Bidirectional Aggregator-Prosumer Coordination through Agentic AI
by: Makroum, Reda El, et al.
Published: (2026)

Automotive Engineering-Centric Agentic AI Workflow Framework
by: Son, Tong Duy, et al.
Published: (2026)

Proactive Distributed Emergency Response with Heterogeneous Tasks Allocation
by: Darko, Justice, et al.
Published: (2022)

MORPH-U: Multi-Objective Resilient Motion Planning for V2X-Enabled Autonomous Driving in High-Uncertainty Environments via Simulation
by: Lai, Shih-Yu
Published: (2026)

Boltzmann-based Exploration for Robust Decentralized Multi-Agent Planning (Extended Version)
by: Nguyen, Nhat D. A., et al.
Published: (2026)

Multi-residual Mixture of Experts Learning for Cooperative Control in Multi-vehicle Systems
by: Jayawardana, Vindula, et al.
Published: (2025)

Systematic Analyses of Reinforcement Learning Controllers in Signalized Urban Corridors
by: Song, Xiaofei, et al.
Published: (2026)

Towards Autonomous Supply Chains: Definition, Characteristics, Conceptual Framework, and Autonomy Levels
by: Xu, Liming, et al.
Published: (2023)

Hierarchical Policy-Gradient Reinforcement Learning for Multi-Agent Shepherding Control of Non-Cohesive Targets
by: Covone, Stefano, et al.
Published: (2025)

Balancing Specialization and Centralization: A Multi-Agent Reinforcement Learning Benchmark for Sequential Industrial Control
by: Maus, Tom, et al.
Published: (2025)

Hierarchical LLM-Driven Control for HAPS-Assisted UAV Networks: Joint Optimization of Flight and Connectivity
by: Yan, Zijiang, et al.
Published: (2026)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
by: van Huijgevoort, Birgit C., et al.
Published: (2024)

CityLight: A Neighborhood-inclusive Universal Model for Coordinated City-scale Traffic Signal Control
by: Zeng, Jinwei, et al.
Published: (2024)