Back to Results
First PageMeta Content
Systems theory / Control theory / Systems engineering / Automation / System / University of California /  Berkeley / Claire J. Tomlin / Formal verification / Control system / Science / Systems science / Cybernetics


ANNUAL REPORT FOUNDATIONS OF HYBRID AND EMBEDDED SYSTEMS AND SOFTWARE NSF/ITR PROJECT – AWARD NUMBER: CCR[removed]
Add to Reading List

Open Document

File Size: 408,61 KB

Share Result on Facebook

City

Coldfire / AACHEN / /

Company

Embedded Software / Advanced Driving Assistance Systems / Lawrence Berkeley Labs / Embedded Systems / Hybrid Systems / Automated Driver Automation Systems / Robust Hybrid Systems / Hybrid Systems Laboratory / Microsoft / /

Country

Taiwan / Germany / /

Event

Business Partnership / /

Facility

Highway Cruise Control / UNIVERSITY OF BRITISH COLUMBIA / STANDFORD UNIVERSITY / CARNEGIE MELLON UNIVERSITY / Richmond Field Station / C library / Cory Hall / Vanderbilt University / DELFT UNIVERSITY / UNIVERSITY OF ARIZONA / RWTH Aachen University / University of Memphis / NATIONAL CHIAO TUNG UNIVERSITY / UNIVERSITY OF CALIFORNIA / /

IndustryTerm

perception algorithms / art tools / physical hardware / hard-real time guarantees / protein regulatory networks / regulatory/ insurance authorities / safety critical technologies / software infrastructure / heterogeneous sub-systems / vehicular electronics / distributed software testing / diverse hardware / car sensors / human operators / monotone systems / real time / contemporary car / fuel control systems / distributed computing / software components / Biotechnology techniques / car functionality / tune perception algorithms / distributed systems / real-time constraints / theoretical framework and algorithms / cyber-human systems / proposed motion segmentation algorithm / biological genetic networks / gene products / genetic network / genetic networks / software engineering doctoral student / software collection / directions in systems / software portability / intelligent software systems / software behavior / software environment / automotive systems / energy efficiency / communications infrastructure / human operator / computing / web address / software engineering foundations / traffic management systems / /

OperatingSystem

ISIS / Linux / POSIX / /

Organization

National Science Foundation / UC BERKELEY / UNIVERSITY OF CALIFORNIA / BERKELEY / STANDFORD UNIVERSITY / Vanderbilt University / CARNEGIE MELLON UNIVERSITY / National Aeronautics and Space Administration / Department of Molecular and Cell Biology / Department of Mathematical Sciences / UNIVERSITY OF ARIZONA / University of Memphis / UNIVERSITY OF BRITISH COLUMBIA / RWTH Aachen University in Germany / Institute for Software Integrated Systems / DELFT UNIVERSITY / Center for Hybrid and Embedded Systems / Stanford / NATIONAL CHIAO TUNG UNIVERSITY / /

Person

THOMAS HENZINGER / JAN BIERMEYER / HWAN CHANG / ANDREW HINES / Mark Biggin / SHANKAR SASTRY / Eugene Li / JESSICA GAMBLE / NEAL MASTER / TRACEY RICHARDS / CLAIRE TOMLIN / JONATHAN SPRINKLE / MILOS DREZGIC / BRUNO SINOPOLI / CHRISTIAN BERGER / ANIL ASWANI / PIETER ABBEEL / ADRIAN PERRIG / TODD TEMPLETON / ANUPAM PRAKSH / MOHAN SAROVAR / Harendra Guturu / TANYA ROOSTA / Mike Eisen / EDWARD A. LEE / Nicholas Boyd / CHI-YEN HUANG / MARY P STEWART / ALVARO C ARDENAS / NICK BOYD / CHRISTOPHER BROOKS / /

Position

motion planner / Driver / EXECUTIVE DIRECTOR / camera driver / General / Professor / BUSINESS ADMINISTRATOR / Parking Assistant / controller / /

Product

GTi / /

ProvinceOrState

California / Arizona / /

Technology

Linux / Biotechnology / perception algorithms / Ethernet / proposed motion segmentation algorithm / embedded Coldfire processors / simulation / tune perception algorithms / /

URL

http /

SocialTag