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$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠٠٨
١٨ يوليو
اللغة
EN
الإنجليزية
عدد الصفحات
٦٩٩
الناشر
Springer Berlin Heidelberg
البائع
Springer Nature B.V.
الحجم
٢٤٫٨
‫م.ب.‬

المزيد من الكتب المشابهة

Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠٢١
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠٠٩
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
٢٠٢١
Reachability Problems Reachability Problems
Reachability Problems
٢٠١١
Principles of Systems Design Principles of Systems Design
Principles of Systems Design
٢٠٢٢
Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
٢٠٢٢

المزيد من كتب Magnus Egerstedt & Bud Mishra

Graph Theoretic Methods in Multiagent Networks Graph Theoretic Methods in Multiagent Networks
Graph Theoretic Methods in Multiagent Networks
٢٠١٠
Robot Ecology Robot Ecology
Robot Ecology
٢٠٢١
Controls and Art Controls and Art
Controls and Art
٢٠١٤