Abstract
We propose algorithms for the synthesis of decentralized controllers with partial observation of infinite state systems modelled by Symbolic Transition Systems. We provide models of safe controllers both for potentially deadlock and deadlock free controlled systems. To obtain algorithms for these problems, we use abstract interpretation techniques which provide overapproximations of the transitions set to be disabled. Our tool SMACS allowed us to make an empirical validation of our methods and show their feasibility and eficiency.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
