BibTeX
@inproceedings{DBLP:conf/hybrid/CassezJLRR09,
author = {Franck Cassez and
Jan Jakob Jessen and
Kim Guldstrand Larsen and
Jean-Fran\c{c}ois Raskin and
Pierre-Alain Reynier},
title = {Automatic Synthesis of Robust and Optimal Controllers -
An Industrial Case Study},
booktitle = {HSCC},
year = {2009},
pages = {90-104},
ee = {http://dx.doi.org/10.1007/978-3-642-00602-9_7},
crossref = {DBLP:conf/hybrid/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/hybrid/2009,
editor = {Rupak Majumdar and
Paulo Tabuada},
title = {Hybrid Systems: Computation and Control, 12th International
Conference, HSCC 2009, San Francisco, CA, USA, April 13-15,
2009. Proceedings},
booktitle = {HSCC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5469},
year = {2009},
isbn = {978-3-642-00601-2},
ee = {http://dx.doi.org/10.1007/978-3-642-00602-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-05-03 by Michael Ley (ley@uni-trier.de)