Languages and Tools for Hybrid Systems Design is intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems O. Maler and A. Pnueli, eds., Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3a5, 2003, Springer, 2003. ...  R. Nikoukhah and S. Steer, aSCICOS - a dynamic system builder and simulator usera#39;s guide- version 1.0, a Tech. Rep. ...  A. Puri and P. Varaiya, aDriving safely in smart cars, a in American Control Conference, pp. ... [ 150] L. Semenzato, A. Deshpande, and A. Gollu, aShift reference manual, a Tech.
|Title||:||Languages and Tools for Hybrid Systems Design|
|Author||:||Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto Sangiovanni-Vincentelli|
|Publisher||:||Now Publishers Inc - 2006|