Communication Dans Un Congrès Année : 2023

Resilience and Home-Space for WSTS

Résumé

Resilience of unperfect systems is a key property for improving safety by insuring that if a system could go into a bad state in Bad then it can also leave this bad state and reach a safe state in Safe. We consider six types of resilience (one of them is the home-space property) defined by an upward-closed set or a downward-closed set Safe, and by the existence of a bound on the length of minimal runs starting from a set Bad and reaching Safe (Bad is generally the complementary of Safe). We first show that all resilience problems are undecidable for effective Well Structured Transition Systems (WSTS) with strong compatibility. We then show that resilience is decidable for Well Behaved Transition Systems (WBTS) and for WSTS with adapted effectiveness hypotheses. Most of the resilience properties are shown decidable for other classes like WSTS with the downward compatibility, VASS, lossy counter machines, reset-VASS, integer VASS and continuous VASS.

Fichier principal
Vignette du fichier
VMCAI-2024.pdf (871.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05249032 , version 1 (10-09-2025)

Licence

Identifiants

Citer

Alain Finkel, Mathieu Hilaire. Resilience and Home-Space for WSTS. 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Rayna Dimitrova; Ori Lahav; Sebastian Wolff, Jan 2024, Londres, United Kingdom. ⟨10.1007/978-3-031-50524-9⟩. ⟨hal-05249032⟩
435 Consultations
181 Téléchargements

Altmetric

Partager

  • More