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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Năm:

2010

Nhà xuát bản:

Association for Computing Machinery

Ngôn ngữ:

english

Trang:

296

ISBN 10:

1605589551

ISBN 13:

9781605589558

File:

PDF, 14.37 MB

IPFS:

,

english, 2010

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

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

Từ khóa thường sử dụng nhất