Hybrid systems

By HSCC Conference 2008 Saint Louis Mo., HSCC 2008 2008 Saint Louis Mo.

Hybrid Systems: Computation And Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

By Amir Pnueli, Freek Wiedijk, Oded Maler, HSCC (Conference)

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003.The 36 revised f...

Hybrid Systems: Computation And Control 7th International Workshop, Hscc 2004, Philadelphia, Pa, Usa, March 2004 Proceedings

By Rajeev Alur, George J, George J. Pappas, Alur, HSCC (Conference), Rajeev; Pappas

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid s...

Hybrid Systems Computation and Control

By HSCC 99 1999 Berg En Dal Netherlands

Hybrid Systems Computation and Control

By HSCC 98 1998 Berkeley Calif., HSCC 98 1st 1998 Berkeley Calif.

Hybrid Systems Computation and Control

By

Hybrid Systems Computation and Control

By

Hybrid Systems: Computation And Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

By Manfred Morari, HSCC (Conference)

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.The 40 revised full...

Hybrid Systems Computation and Control

By HSCC 2000 2000 Pittsburgh Pa.

Hybrid Systems: Computation And Control

By Amir Pnueli, Freek Wiedijk, Oded Maler, HSCC (Conference), Freek Wiedijk; Oded Maler; Amir Pnueli

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops att...