Buchumschlag

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Choi, Joonwon, Pant, Kartik Anand, Nam, Youngim, Hellmann, Henry, Nune, Karthik, Hwang, Inseok
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming
von: Choi, Joonwon, et al.
Veröffentlicht: (2026)

On Enhancing Structural Resilience of Multirobot Coverage Control with Bearing Rigidity
von: Pant, Kartik A., et al.
Veröffentlicht: (2025)

Energy-Constrained Resilient Multi-Robot Coverage Control
von: Pant, Kartik A., et al.
Veröffentlicht: (2025)

A Dynamically Weighted ADMM Framework for Byzantine Resilience
von: Vijay, Vishnu, et al.
Veröffentlicht: (2025)

An Algorithm for Distributed Computation of Reachable Sets for Multi-Agent Systems
von: Thapliyal, Omanshu, et al.
Veröffentlicht: (2024)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
von: Besset, Antoine, et al.
Veröffentlicht: (2025)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
von: Hadjiloizou, Loizos, et al.
Veröffentlicht: (2024)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
von: Kochdumper, Niklas, et al.
Veröffentlicht: (2023)

Range-based Multi-Robot Integrity Monitoring Against Cyberattacks and Faults: An Anchor-Free Approach
von: Vijay, Vishnu, et al.
Veröffentlicht: (2024)

SAFE-TAXI: A Hierarchical Multi-UAS Safe Auto-Taxiing Framework with Runtime Safety Assurance and Conflict Resolution
von: Pant, Kartik A., et al.
Veröffentlicht: (2025)

MIXED-SENSE: A Mixed Reality Sensor Emulation Framework for Test and Evaluation of UAVs Against False Data Injection Attacks
von: Pant, Kartik A., et al.
Veröffentlicht: (2024)

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
von: Dietrich, Elizabeth, et al.
Veröffentlicht: (2025)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
von: Thompson, Andrew F., et al.
Veröffentlicht: (2026)

Track-centric Iterative Learning for Global Trajectory Optimization in Autonomous Racing
von: Nam, Youngim, et al.
Veröffentlicht: (2026)

Distributed Error-Identification and Correction using Block-Sparse Optimization
von: Khan, Shiraz, et al.
Veröffentlicht: (2023)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
von: Hafez, Ahmad, et al.
Veröffentlicht: (2024)

Simultaneous Embedding and Welding of Silver Nanowires Into the Surface of Polymer Networks for Mechanically Robust and Highly Conductive Three‐Dimensional Flexible Transparent Electrodes
von: Sangmok Kim, et al.
Veröffentlicht: (2026)

Application of Log-Linear Dynamic Inversion Control to a Multi-rotor
von: Lin, Li-Yu, et al.
Veröffentlicht: (2024)

Chameleon: A Surface-Anchored Smartphone AR Prototype with Visually Blended Mobile Display
von: Yang, Seungwon, et al.
Veröffentlicht: (2025)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
von: Roop, Partha, et al.
Veröffentlicht: (2026)

Mathematical Foundations of Polyphonic Music Generation via Structural Inductive Bias
von: Seo, Joonwon
Veröffentlicht: (2026)

Publish‐Review‐Curate Modelling for Data Paper and Dataset: A Collaborative Approach
von: Youngim Jung, et al.
Veröffentlicht: (2025)

Uniform Sampling from the Reachable Set Using Optimal Transport
von: Elamvazhuthi, Karthik, et al.
Veröffentlicht: (2025)

pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
von: Arfvidsson, Kaj Munhoz, et al.
Veröffentlicht: (2025)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2024)

Multi-Agent Based Transfer Learning for Data-Driven Air Traffic Applications
von: Deng, Chuhao, et al.
Veröffentlicht: (2024)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
von: Yu, Xinyi, et al.
Veröffentlicht: (2023)

A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
von: Cui, Bohan, et al.
Veröffentlicht: (2025)

Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications
von: Yuan, Yating, et al.
Veröffentlicht: (2025)

Feynman's Entangled Paths to Optimized Circuit Design
von: Anand, Kartik
Veröffentlicht: (2024)

Constructing Fermionic Hamiltonians with Non-Gaussianic low-energy states
von: Anand, Kartik
Veröffentlicht: (2025)

Exploiting Sparsity for Localization of Large-Scale Wireless Sensor Networks
von: Khan, Shiraz, et al.
Veröffentlicht: (2023)

Human Behavior Modeling via Identification of Task Objective and Variability
von: Byeon, Sooyung, et al.
Veröffentlicht: (2024)

Collaboration risk, vulnerability, and resource sharing in disaster management networks
von: Minsun Song, et al.
Veröffentlicht: (2024)

Optimizing Attention and Cognitive Control Costs Using Temporally-Layered Architectures
von: Patel, Devdhar, et al.
Veröffentlicht: (2023)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems
von: Dong, Yi, et al.
Veröffentlicht: (2022)

Chatperone: An LLM-Based Negotiable Scaffolding System for Mediating Adolescent Mobile Interactions
von: Yoon, Suwon, et al.
Veröffentlicht: (2025)