Verification and Control of Hybrid Systems A Symbolic Approach Tabuada Paulo Innbundet / 2009 / Engelsk
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings Majumdar Rupak Heftet / 2009 / Engelsk
Networked Embedded Sensing and Control Workshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings Antsaklis Panos J. Heftet / 2006 / Engelsk
