Hybrid Systems: Computation and Control Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

Magnus Egerstedt 및 Bud Mishra
    • US$119.99
    • US$119.99

출판사 설명

This book constitutes the refereed proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, HSCC 2008. The 42 revised full papers and 20 revised short papers were carefully reviewed and selected from numerous submissions.

장르
컴퓨터 및 인터넷
출시일
2008년
7월 18일
언어
EN
영어
길이
699
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
24.8
MB

비슷한 책 더 보기

Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2021년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2009년
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
2021년
Reachability Problems Reachability Problems
Reachability Problems
2011년
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
2022년
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
2022년

Magnus Egerstedt & Bud Mishra의 도서 더 보기

Graph Theoretic Methods in Multiagent Networks Graph Theoretic Methods in Multiagent Networks
Graph Theoretic Methods in Multiagent Networks
2010년
Robot Ecology Robot Ecology
Robot Ecology
2021년
Controls and Art Controls and Art
Controls and Art
2014년