Deadlock-free Discrete Controller Synthesis for Infinite State Systems
Résumé
We elaborate on our former work for the safety
control of infinite reactive synchronous systems modeled by
arithmetic symbolic transition systems. By using abstract interpretation
techniques involving disjunctive polyhedral overapproximations,
we provide effective symbolic algorithms allowing
to solve the deadlock-free safety control problem while
overcoming previous limitations regarding the non-convexity of
the set of states violating the invariant to enforce.
Domaines
Génie logiciel [cs.SE]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...