Join Books.org — it's free

Electrical & Electronic Engineering, Computers - General & Miscellaneous, Electrical & Electronic Engineering, Hardware Related Programming
Hybrid Systems: Computation and Control by Freek Wiedijk β€” book cover

Hybrid Systems: Computation and Control

by Freek Wiedijk (Editor), Amir Pnueli (Editor), Oded Maler
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.

Overview

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003.

The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains.

Synopsis

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague, Czech Republic, in April 2003.

The 36 revised full papers presented were carefully reviewed and selected from 75 submissions. All current issues in hybrid systems are addressed including formal methods for analysis and control, computational tools, as well as innovative applications in various fields such as automotive control, the immune system, electrical circuits, operating systems, and human brains.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
October 1, 2007
Publisher
Springer-Verlag New York, LLC
Pages
570
Format
Paperback
ISBN
9783540009139

More by Freek Wiedijk

Similar books