Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642006012
Format: Paperback (492 pages) Publisher: Springer Published: 27 Mar 2009
Save for later
Networked Embedded Sensing and Control: Workshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings (Lecture Notes in Control and Information Sciences)
ISBN 13: 9783540327943
Format: Paperback (367 pages) Publisher: Springer Published: 21 Apr 2006
Verification and Control of Hybrid Systems: A Symbolic Approach
by Paulo Tabuada
ISBN 13: 9781441902238
Format: Hardcover (202 pages) Publisher: Springer Published: 17 Jun 2009