Image de couverture de livre

SymAware: A Software Development Framework for Trustworthy Multi-Agent Systems with Situational Awareness

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Casablanca, Ernesto, Zhang, Zengjie, Marchesini, Gregorio, Haesaert, Sofie, Dimarogonas, Dimos V., Soudjani, Sadegh
Format:	Preprint
Publié:	2024
Sujets:	Robotics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Blending Participatory Design and Artificial Awareness for Trustworthy Autonomous Vehicles
par: Tanevska, Ana, et autres
Publié: (2025)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
par: Qi, Shuhao, et autres
Publié: (2024)

Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
par: Engelaar, Maico H. W., et autres
Publié: (2024)

Situation-Aware Interactive MPC Switching for Autonomous Driving
par: Qi, Shuhao, et autres
Publié: (2025)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
par: Casablanca, Ernesto, et autres
Publié: (2025)

Corridor MPC for Multi-Agent Inspection of Orbiting Structures
par: Marchesini, Gregorio, et autres
Publié: (2024)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
par: Schön, Oliver, et autres
Publié: (2025)

Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion
par: Zhang, Zengjie, et autres
Publié: (2024)

Decentralized Control of Multi-Agent Systems Under Acyclic Spatio-Temporal Task Dependencies
par: Marchesini, Gregorio, et autres
Publié: (2024)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
par: Marchesini, Gregorio, et autres
Publié: (2024)

An Operator-Based Approach to STL
par: Rousseas, Panagiotis, et autres
Publié: (2026)

Trajectory Tracking for Multi-Manipulator Systems in Constrained Environments
par: Sewlia, Mayank, et autres
Publié: (2025)

VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
par: van de Laar, Teun, et autres
Publié: (2024)

Decoupled Design of Time-Varying Control Barrier Functions via Equivariances
par: Wiltz, Adrian, et autres
Publié: (2025)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
par: Rousseas, Panagiotis, et autres
Publié: (2026)

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis
par: Wiltz, Adrian, et autres
Publié: (2025)

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
par: Sewlia, Mayank, et autres
Publié: (2023)

Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside''
par: Della Santina, Cosimo, et autres
Publié: (2024)

Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
par: Engelaar, Maico H. W., et autres
Publié: (2024)

Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
par: Mitsos, Georgios, et autres
Publié: (2026)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
par: Schön, Oliver, et autres
Publié: (2023)

Continuous-time control synthesis under nested signal temporal logic specifications
par: Yu, Pian, et autres
Publié: (2023)

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
par: Zhang, Zengjie, et autres
Publié: (2025)

Meta-Learning Augmented MPC for Disturbance-Aware Motion Planning and Control of Quadrotors
par: Lapandić, Dženan, et autres
Publié: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
par: Peron, Davide, et autres
Publié: (2025)

Conformal Prediction-Based MPC for Stochastic Linear Systems
par: Vogel, Lukas, et autres
Publié: (2025)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
par: Zaker, Mahdieh, et autres
Publié: (2024)

Fault-tolerant Model Predictive Control for Spacecraft
par: Stöckner, Raphael, et autres
Publié: (2025)

Switching control of underactuated multi-channel systems with input constraints for cooperative manipulation
par: Lee, Dongjae, et autres
Publié: (2025)

Cooperative Manipulation via Internal Force Regulation: A Rigidity Theory Perspective
par: Verginis, Christos K., et autres
Publié: (2019)

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

Intermittent Connectivity Maintenance With Heterogeneous Robots
par: Aragues, Rosario, et autres
Publié: (2024)

Communication-Constrained STL Task Decomposition through Convex Optimization
par: Marchesini, Gregorio, et autres
Publié: (2024)

Sampling-Based Planning Under STL Specifications: A Forward Invariance Approach
par: Marchesini, Gregorio, et autres
Publié: (2025)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
par: Vlahakis, Eleftherios E., et autres
Publié: (2026)

Generating and Optimizing Topologically Distinct Guesses for Mobile Manipulator Path Planning with Path Constraints
par: Wong, Rufus Cheuk Yin, et autres
Publié: (2024)

Specification-guided temporal logic control for stochastic systems: a multi-layered approach
par: van Huijgevoort, Birgit C., et autres
Publié: (2024)

Kinodynamic Motion Planning via Funnel Control for Underactuated Unmanned Surface Vehicles
par: Lapandić, Dženan, et autres
Publié: (2023)

Feasibility Analysis and Constraint Selection in Optimization-Based Controllers
par: Rousseas, Panagiotis, et autres
Publié: (2025)

Robust Visual Servoing under Human Supervision for Assembly Tasks
par: Fernandez-Ayala, Victor Nan, et autres
Publié: (2025)