Image de couverture de livre

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hsieh, Chiao, Waga, Masaki, Suenaga, Kohei
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Model-bounded monitoring of hybrid systems
par: Waga, Masaki, et autres
Publié: (2021)

Specifying and Verifying RDMA Synchronisation (Extended Version)
par: Ambal, Guillaume, et autres
Publié: (2026)

CESAR: Control Envelope Synthesis via Angelic Refinements
par: Kabra, Aditi, et autres
Publié: (2023)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
par: König, Barbara, et autres
Publié: (2025)

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
par: Graebener, Josefine B., et autres
Publié: (2025)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
par: Incer, Inigo, et autres
Publié: (2023)

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

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
par: Murali, Vishnu, et autres
Publié: (2026)

On Generalized Performance Evaluation and Generalized Controller Synthesis
par: Cao, Zining
Publié: (2026)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
par: Edwards, Alec, et autres
Publié: (2023)

Towards Automatic Linearization via SMT Solving
par: Cao, Jian, et autres
Publié: (2024)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
par: Ambal, Guillaume, et autres
Publié: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
par: Vandesande, Dieter, et autres
Publié: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
par: Ramirez, Miquel, et autres
Publié: (2024)

Quantitative Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2025)

ARCH-COMP25 Category Report: Stochastic Models
par: Abate, Alessandro, et autres
Publié: (2025)

Solvability of Approximate Reach-Avoid Games
par: Gleirscher, Mario
Publié: (2025)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
par: Henzinger, Thomas A., et autres
Publié: (2025)

Control Closure Certificates
par: Murali, Vishnu, et autres
Publié: (2025)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
par: Groote, Jan Friso, et autres
Publié: (2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes
par: Hafez, Ahmad, et autres
Publié: (2024)

Context-Aided Variable Elimination for Requirement Engineering
par: Incer, Inigo, et autres
Publié: (2023)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
par: Hadjiloizou, Loizos, et autres
Publié: (2024)

Learning Robust Policies for Uncertain Parametric Markov Decision Processes
par: Rickard, Luke, et autres
Publié: (2023)

Stochastic Omega-Regular Verification and Control with Supermartingales
par: Abate, Alessandro, et autres
Publié: (2024)

Closure Certificates
par: Murali, Vishnu, et autres
Publié: (2023)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
par: Tang, Valdemar, et autres
Publié: (2024)

Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
par: Phalakarn, Kittiphon, et autres
Publié: (2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement
par: Rafieioskouei, Arshia, et autres
Publié: (2024)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
par: Incer, Inigo
Publié: (2024)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
par: Gu, Chao, et autres
Publié: (2020)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
par: Mathiesen, Frederik Baymler, et autres
Publié: (2024)

Inferentialist Resource Semantics
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
par: Edwards, Alec, et autres
Publié: (2023)

Counterexample-Guided Interval Weakening
par: Andrew, Ben M., et autres
Publié: (2026)

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
par: Devadze, Grigory, et autres
Publié: (2020)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
par: Zhang, Changjian, et autres
Publié: (2023)