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

Hybrid Systems: Computation and Control

Magnus Egerstedt & Bud Mishra
    • 119,99 US$
    • 119,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2008
18 tháng 7
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
699
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
24,8
Mb

Thêm Sách Tương Tự

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

Sách Khác Của 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