Design, development and manufacture of motor vehicles, towed vehicles, motorcycles and mopeds.
This research project addresses fundamental challenges in the verification and analysis of distributed hybrid systems. In particular, we are working to minimize the mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics currently supported in analysis.
Submitted by Andre Platzer on August 6th, 2010
The principal objective of this project is the development of novel control architectures and computationally efficient controller design algorithms for distributed cyber-physical systems with decentralized information infrastructures and limited communication capabilities. Interest is in distributed cyber-physical systems where the system components are able to communicate with one another.
Submitted by Stephane Lafortune on August 6th, 2010
Submitted by Jeannette Wing on May 24th, 2010