Taxonomic Search: Edmund M. Clarke

8 results

Results

file

Visible to the public Advanced Transportation Systems

Abstract:

Advanced autonomous transportation technologies must become robust, affordable and maintainable before safe and wide public adoption. The following research challenges of cyber-physical systems must be overcome before autonomous vehicles become practical:

file

Visible to the public Distributed Hybrid Systems Compositionality and Reconfiguration for Distributed Hybrid Systems

Abstract:

The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.

file

Visible to the public Advanced Transportation Systems

Abstract

Autonomous transportation technologies must become robust along multiple dimensions before widespread public adoption. The following research challenges of cyber-physical systems must be overcome before autonomous vehicles become practical:

file

Visible to the public Compositionality and Reconfiguration for Distributed Hybrid Systems

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.