Cover Image

AP-observation Automata for Abstraction-based Verification of Continuous-time Systems (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pruekprasert, Sasinee, Eberhart, Clovis
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Safe Arrival Scheduling at Constraint Waypoints in UAM Corridors
by: Pruekprasert, Sasinee, et al.
Published: (2026)

Safety-Assured Arrival Scheduling in Sequential UAM Corridor Sections under Speed and Separation Constraints
by: Pruekprasert, Sasinee, et al.
Published: (2026)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
by: Phalakarn, Kittiphon, et al.
Published: (2024)

From Visual to Digital: Coordination Scheduling and Its Effect on Safety and Efficiency in UAM Corridors
by: Fujita, Akihiro, et al.
Published: (2026)

Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
by: Li, Yonghan, et al.
Published: (2024)

Delay Optimization in a Simple Offloading System: Extended Version
by: Jeff, Darin, et al.
Published: (2025)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
by: Samari, Behrad, et al.
Published: (2024)

Micro-Macro Backstepping Control of Large-Scale Hyperbolic Systems (Extended Version)
by: Humaloja, Jukka-Pekka, et al.
Published: (2025)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, et al.
Published: (2026)

Secondary Safety Control for Systems with Sector Bounded Nonlinearities [Extended Version]
by: Lin, Yankai, et al.
Published: (2025)

Distributed MPC for Self-Organized Cooperation of Multiagent Systems -- Extended Version
by: Köhler, Matthias, et al.
Published: (2022)

Modeling and Scheduling of Fusion Patterns in Autonomous Driving Systems (Extended Version)
by: Sobhani, Hoora, et al.
Published: (2025)

Hybrid Feedback for Affine Nonlinear Systems with Application to Global Obstacle Avoidance (Extended Version)
by: Wang, Miaomiao, et al.
Published: (2023)

The Role of Confidence for Trust-based Resilient Consensus (Extended Version)
by: Ballotta, Luca, et al.
Published: (2024)

Sampling-based Stochastic Data-driven Predictive Control under Data Uncertainty - Extended Version
by: Teutsch, Johannes, et al.
Published: (2024)

An Error-Based Safety Buffer for Safe Adaptive Control (Extended Version)
by: Fisher, Peter A., et al.
Published: (2025)

A Dual-level Model Predictive Control Scheme for Multi-timescale Dynamical Systems--Extended Version
by: Zhang, Xinglong, et al.
Published: (2019)

Chattering Phenomena in Time-Optimal Control for High-Order Chain-of-Integrator Systems with Full State Constraints (Extended Version)
by: Wang, Yunan, et al.
Published: (2024)

Efficient Recursive Data-enabled Predictive Control (Extended Version)
by: Shi, Jicheng, et al.
Published: (2023)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Finite-time Safety and Reach-avoid Verification of Stochastic Discrete-time Systems
by: Xue, Bai
Published: (2024)

Extended Version of "Distributed Adaptive Resilient Consensus Control for Uncertain Nonlinear Multiagent Systems Against Deception Attacks"
by: Yu, Mengze, et al.
Published: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
by: Gracia, Ibon, et al.
Published: (2025)

Finite Abstractions of Network of Impulsive Systems Using Dissipativity Approach
by: Swikir, Abdalla
Published: (2024)

On an Abstraction of Lyapunov and Lagrange Stability
by: Bin, Michelangelo, et al.
Published: (2025)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)

Adaptive Control of Dubins Vehicle in the Presence of Loss of Effectiveness (Extended Version)
by: Naranjo, Daniel Maldonado, et al.
Published: (2025)

Identification of non-causal systems with random switching modes (Extended Version)
by: Zhang, Yanxin, et al.
Published: (2025)

Symmetry-based Abstraction Algorithm for Accelerating Symbolic Control Synthesis
by: Sibai, Hussein, et al.
Published: (2024)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

Cooperative Online Learning for Multi-Agent System Control via Gaussian Processes with Event-Triggered Mechanism: Extended Version
by: Dai, Xiaobing, et al.
Published: (2023)

Trajectory-based Safety of Monotone Systems: Verification and Control Synthesis
by: Galarza-Jimenez, Felipe, et al.
Published: (2026)

Network Epidemic Control via Model Predictive Control: Extended Version
by: Talaei, Mahtab, et al.
Published: (2026)

Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
by: Akinwande, I. Samuel, et al.
Published: (2025)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
by: Ajeleye, Daniel, et al.
Published: (2024)

A Novel State-Centric Necessary Condition for Time-Optimal Control of Controllable Linear Systems Based on Augmented Switching Laws (Extended Version)
by: Wang, Yunan, et al.
Published: (2024)

Extended Version: Non-Preemptive Scheduling of Flexible Loads in Smart Grids via Convex Optimization
by: Davoudi, Mehdi, et al.
Published: (2025)

Continuous Resilience in Cyber-Physical Systems of Systems: Extending Architectural Models through Adaptive Coordination and Learning
by: Vogel, Elisabeth, et al.
Published: (2025)

Dynamic System Stability Verification Using Numerical Simulator
by: Kim, Jongrae
Published: (2023)