HSCC'10: proceedings of the 13th International Conference...

Main
HSCC'10: proceedings of the 13th...

HSCC'10: proceedings of the 13th International Conference on hybrid systems : computation and control : April 12-15, 2010, Stockholm, Sweden

Karl Henrik Johansson, Wang Yi, Association for Computing Machinery. Special Interest Group on Embedded Systems

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

年:

2010

出版社:

Association for Computing Machinery

言語:

english

ページ:

296

ISBN 10:

1605589551

ISBN 13:

9781605589558

ファイル:

PDF, 14.37 MB

IPFS:

,

english, 2010

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Computer Graphics World — 3D - Computer Graphics World 2005-08 August

Computer Graphics World — 3D - Computer Graphics World 2005-09 September

Committee on Networked Systems of Embedded Computers, National Research Council, National Research Council — Embedded, Everywhere: A Research Agenda for Networked Systems of Embedded Computers

IEEE Computer Society — International Conference on Intelligent Computation Technology and Automation - ICICTA 2008 Proceedings , Vol. 2

COMPUTE — Compute's First Book of Apple

David Berlinski (auth.), Oded Maler, Amir Pnueli (eds.) — Hybrid Systems：Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003 Proceedings

Zhendong Sun, Shuzhi Sam Ge — Stability Theory of Switched Dynamical Systems

Sayan Mitra — Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

Yinan Li, Jun Liu — Formal Methods for Control of Nonlinear Systems

Lamnabhi-Lagarr — Taming Heterogeneity and Complexity of Embedded Control

Jan Lunze, Francoise Lamnabhi-Lagarrigue — Handbook of Hybrid Systems Control: Theory, Tools, Applications

Jamal Daafouz, Sophie Tarbouriech, Mario Sigalotti — Hybrid Systems with Constraints

Luca P Carloni, Roberto Passerone, Alessandro Pinto — Languages and Tools for Hybrid Systems Design

Isil Dillig & Serdar Tasiran [Isil Dillig] — Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

Manindra Agrawal, P. S. Thiagarajan (auth.), Rajeev Alur, George J. Pappas (eds.) — Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi (auth.), Manfred Morari, Lothar Thiele (eds.) — Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

Francesco Bullo (auth.), João P. Hespanha, Ashish Tiwari (eds.) — Hybrid Systems: Computation and Control: 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Michael S. Branicky (auth.), Professor A. Stephen Morse (eds.) — Control Using Logic-Based Switching

David Sharp (auth.), Claire J. Tomlin, Mark R. Greenstreet (eds.) — Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings

Randal E. Bryant (auth.), Pierre Wolper (eds.) — Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) — Hybrid Systems II

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.) — Hybrid Systems III: Verification and Control

Amir Pnueli (auth.), Oded Maler (eds.) — Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.) — Hybrid Systems IV

Shankar Sastry (auth.), Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.) — Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Alessandro Abate, Alessandro D’Innocenzo, Maria D. Di Benedetto, Shankar S. Sastry (auth.), Magnus Egerstedt, Bud Mishra (eds.) — Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Behzad Akbarpour, Lawrence C. Paulson (auth.), Rupak Majumdar, Paulo Tabuada (eds.) — Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

主要なフレーズ