Hybrid Systems III: Verification and Control by

Lecture Notes in Computer Science

Hybrid Systems III: Verification and Control

619 pages paperback

1 edition

nonfiction art computer science technology medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that inte...

Show More

Community Reviews

Loading...

Content Warnings

Loading...