Assuring Safety of Vision-Based Swarm Formation Control
Fuente:
arXiv
Saved in:
| Main Authors: | Hsieh, Chiao, Koh, Yubin, Li, Yangge, Mitra, Sayan |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Application Management in C-ITS: Orchestrating Demand-Driven Deployments and Reconfigurations
by: Zanger, Lukas, et al.
Published: (2025)
by: Zanger, Lukas, et al.
Published: (2025)
Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024)
by: Murray, Yvonne, et al.
Published: (2024)
Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software
by: Bell, Toby, et al.
Published: (2025)
by: Bell, Toby, et al.
Published: (2025)
A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)
by: Dudek, Wojciech, et al.
Published: (2023)
Deterministic vs. LLM-Controlled Orchestration for COBOL-to-Python Modernization
by: Lwin, Naing Oo, et al.
Published: (2026)
by: Lwin, Naing Oo, et al.
Published: (2026)
Learning to Swarm with Knowledge-Based Neural Ordinary Differential Equations
by: Jiahao, Tom Z., et al.
Published: (2021)
by: Jiahao, Tom Z., et al.
Published: (2021)
AutoFSM: A Multi-agent Framework for FSM Code Generation with IR and SystemC-Based Testing
by: Luo, Qiuming, et al.
Published: (2025)
by: Luo, Qiuming, et al.
Published: (2025)
Gecko: A Simulation Environment with Stateful Feedback for Refining Agent Tool Calls
by: Zhang, Zeyu, et al.
Published: (2026)
by: Zhang, Zeyu, et al.
Published: (2026)
LongCLI-Bench: A Preliminary Benchmark and Study for Long-horizon Agentic Programming in Command-Line Interfaces
by: Feng, Yukang, et al.
Published: (2026)
by: Feng, Yukang, et al.
Published: (2026)
Self-Healing Distributed Swarm Formation Control Using Image Moments
by: Liu, C. Lin, et al.
Published: (2023)
by: Liu, C. Lin, et al.
Published: (2023)
AgenticCyOps: Securing Multi-Agentic AI Integration in Enterprise Cyber Operations
by: Mitra, Shaswata, et al.
Published: (2026)
by: Mitra, Shaswata, et al.
Published: (2026)
Real-Time BDI Agents: a model and its implementation
by: Traldi, Andrea, et al.
Published: (2022)
by: Traldi, Andrea, et al.
Published: (2022)
The Lifecycle Workbench -- A Configurable Framework for Digitized Product Maintenance Services
by: Briechle, Dominique, et al.
Published: (2025)
by: Briechle, Dominique, et al.
Published: (2025)
Bridging the Prototype-Production Gap: A Multi-Agent System for Notebooks Transformation
by: Elhashemy, Hanya, et al.
Published: (2025)
by: Elhashemy, Hanya, et al.
Published: (2025)
ABMax: A JAX-based Agent-based Modeling Framework
by: Chaturvedi, Siddharth, et al.
Published: (2025)
by: Chaturvedi, Siddharth, et al.
Published: (2025)
Externalization in LLM Agents: A Unified Review of Memory, Skills, Protocols and Harness Engineering
by: Zhou, Chenyu, et al.
Published: (2026)
by: Zhou, Chenyu, et al.
Published: (2026)
SWE-WebDevBench: Evaluating Coding Agent Application Platforms as Virtual Software Agencies
by: Saxena, Siddhant, et al.
Published: (2026)
by: Saxena, Siddhant, et al.
Published: (2026)
CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
by: Joos, Pascal, et al.
Published: (2025)
by: Joos, Pascal, et al.
Published: (2025)
Cognitive Agents Powered by Large Language Models for Agile Software Project Management
by: Cinkusz, Konrad, et al.
Published: (2025)
by: Cinkusz, Konrad, et al.
Published: (2025)
REFINE: Enhancing Program Repair Agents through Context-Aware Patch Refinement
by: Pabba, Anvith, et al.
Published: (2025)
by: Pabba, Anvith, et al.
Published: (2025)
Sherlock: Reliable and Efficient Agentic Workflow Execution
by: Ro, Yeonju, et al.
Published: (2025)
by: Ro, Yeonju, et al.
Published: (2025)
A Generic Modelling Framework for Last-Mile Delivery Systems
by: Gürcan, Önder, et al.
Published: (2025)
by: Gürcan, Önder, et al.
Published: (2025)
Fairness in Multi-Agent Systems for Software Engineering: An SDLC-Oriented Rapid Review
by: Yang-Smith, Corey, et al.
Published: (2026)
by: Yang-Smith, Corey, et al.
Published: (2026)
Analyzing Code Injection Attacks on LLM-based Multi-Agent Systems in Software Development
by: Bowers, Brian, et al.
Published: (2025)
by: Bowers, Brian, et al.
Published: (2025)
The Hidden Bloat in Machine Learning Systems
by: Zhang, Huaifeng, et al.
Published: (2025)
by: Zhang, Huaifeng, et al.
Published: (2025)
Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
by: Ashfaq, Muhammad, et al.
Published: (2025)
by: Ashfaq, Muhammad, et al.
Published: (2025)
A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes
by: Zeisler, Gerhard, et al.
Published: (2024)
by: Zeisler, Gerhard, et al.
Published: (2024)
Toward Agentic Software Engineering Beyond Code: Framing Vision, Values, and Vocabulary
by: Hoda, Rashina
Published: (2025)
by: Hoda, Rashina
Published: (2025)
Concurrent-Learning Based Relative Localization in Shape Formation of Robot Swarms (Extended version)
by: Lü, Jinhu, et al.
Published: (2024)
by: Lü, Jinhu, et al.
Published: (2024)
AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems
by: Li, Yang, et al.
Published: (2025)
by: Li, Yang, et al.
Published: (2025)
A Minimalist Controller for Autonomously Self-Aggregating Robotic Swarms: Enabling Compact Formations in Multitasking Scenarios
by: de Macedo, Maria Eduarda Silva, et al.
Published: (2025)
by: de Macedo, Maria Eduarda Silva, et al.
Published: (2025)
Market-Based Replanning for Safety-Critical UAV Swarms in Search and Rescue Missions
by: Giacomossi, Luiz, et al.
Published: (2026)
by: Giacomossi, Luiz, et al.
Published: (2026)
Enhancing Holonic Architecture with Natural Language Processing for System of Systems
by: Ashfaq, Muhammad, et al.
Published: (2024)
by: Ashfaq, Muhammad, et al.
Published: (2024)
Exploring the Potential of Conversational Test Suite Based Program Repair on SWE-bench
by: Cheshkov, Anton, et al.
Published: (2024)
by: Cheshkov, Anton, et al.
Published: (2024)
AI-Generated Code Is Not Reproducible (Yet): An Empirical Study of Dependency Gaps in LLM-Based Coding Agents
by: Vangala, Bhanu Prakash, et al.
Published: (2025)
by: Vangala, Bhanu Prakash, et al.
Published: (2025)
Design of a Formation Control System to Assist Human Operators in Flying a Swarm of Robotic Blimps
by: Wu, Tianfu, et al.
Published: (2025)
by: Wu, Tianfu, et al.
Published: (2025)
ChatDev: Communicative Agents for Software Development
by: Qian, Chen, et al.
Published: (2023)
by: Qian, Chen, et al.
Published: (2023)
Physics-Informed Modeling and Control of Emergent Behaviors in Robot Swarms
by: Jin, Zixuan, et al.
Published: (2026)
by: Jin, Zixuan, et al.
Published: (2026)
Dynamic Subgoal based Path Formation and Task Allocation: A NeuroFleets Approach to Scalable Swarm Robotics
by: Peter, Robinroy, et al.
Published: (2024)
by: Peter, Robinroy, et al.
Published: (2024)
Decentralized Swarm Control via SO(3) Embeddings for 3D Trajectories
by: Silveria, Dimitria, et al.
Published: (2025)
by: Silveria, Dimitria, et al.
Published: (2025)
Similar Items
-
Application Management in C-ITS: Orchestrating Demand-Driven Deployments and Reconfigurations
by: Zanger, Lukas, et al.
Published: (2025) -
Model Checking and Verification of Synchronisation Properties of Cobot Welding
by: Murray, Yvonne, et al.
Published: (2024) -
Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software
by: Bell, Toby, et al.
Published: (2025) -
A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023) -
Deterministic vs. LLM-Controlled Orchestration for COBOL-to-Python Modernization
by: Lwin, Naing Oo, et al.
Published: (2026)