Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems.

Vidal R., Schaffert S., Shakernia O., Lygeros J., and Sastry S.,

BibTex Entry

@InProceedings{,

author = {Vidal R., Schaffert S., Shakernia O., Lygeros J., and Sastry S.,},

title = {Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems. },

address = {Orlando USA},

booktitle = {Proceedings of Conference on Decision and Control},

month = {December},

year = {2001}

}