:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cui, Bohan, Zhao, Jianing, Chen, Yu, Abate, Alessandro, Kwiatkowska, Marta, Yin, Xiang
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Systems and Control
Online-Zugang:	https://arxiv.org/abs/2604.04067
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
von: Cauchi, Nathalie, et al.
Veröffentlicht: (2019)

On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
von: Cui, Bohan, et al.
Veröffentlicht: (2025)

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

Data-Driven Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

Continuous-time Data-driven Barrier Certificate Synthesis
von: Rickard, Luke, et al.
Veröffentlicht: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
von: Badings, Thom, et al.
Veröffentlicht: (2025)

On Epistemic Properties in Discrete-Event Systems: A Uniform Framework and Its Applications
von: Cui, Bohan, et al.
Veröffentlicht: (2024)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
von: Zhao, Jianing, et al.
Veröffentlicht: (2026)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Quantitative Supermartingale Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Opacity Enforcing Supervisory Control with a Priori Unknown Supervisors
von: Cui, Bohan, et al.
Veröffentlicht: (2026)

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
von: Chen, Yu, et al.
Veröffentlicht: (2025)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
von: Zhong, Bingzhuo, et al.
Veröffentlicht: (2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
von: Badings, Thom, et al.
Veröffentlicht: (2024)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
von: Riccardi, Alessandro, et al.
Veröffentlicht: (2026)

Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
von: Chen, Yu, et al.
Veröffentlicht: (2025)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
von: Zhao, Jianing, et al.
Veröffentlicht: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2024)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

A Class of Convex Optimization-Based Recursive Algorithms for Identification of Stochastic Systems
von: Ding, Mingxia, et al.
Veröffentlicht: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
von: Coppola, Rudi, et al.
Veröffentlicht: (2025)

On Certificates for Almost Sure Reachability in Stochastic Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
von: Ye, Bowen, et al.
Veröffentlicht: (2024)

An Adaptive Collaborative Neurodynamic Approach to Compute Nash Equilibrium in Normal-Form Games
von: Chen, Jianing
Veröffentlicht: (2025)

Polymatroidal Representations of Aggregate EV Flexibility Considering Network Constraints
von: Mukhi, Karan, et al.
Veröffentlicht: (2025)

Safe Reach Set Computation via Neural Barrier Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
von: Oumer, Mohammed Adib, et al.
Veröffentlicht: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2025)

To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
von: Zhao, Jianing, et al.
Veröffentlicht: (2022)

Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems
von: Zhou, Jingyuan, et al.
Veröffentlicht: (2025)

Data-driven Interval MDP for Robust Control Synthesis
von: Coppola, Rudi, et al.
Veröffentlicht: (2024)

Exact Recourse Functions for Aggregations of EVs Operating in Imbalance Markets
von: Mukhi, Karan, et al.
Veröffentlicht: (2025)

StocHy: automated verification and synthesis of stochastic processes
von: Cauchi, Nathalie, et al.
Veröffentlicht: (2019)

On Approximate Opacity of Stochastic Control Systems
von: Liu, Siyuan, et al.
Veröffentlicht: (2024)

Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
von: Yin, Xiang, et al.
Veröffentlicht: (2024)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2026)