Back to Results
First PageMeta Content
Models of computation / Programming language semantics / Logic in computer science / Control theory / Signal processing / Denotational semantics / Hybrid system / Scicos / Operational semantics / Theoretical computer science / Mathematics / Applied mathematics


invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb
Add to Reading List

Document Date: 2005-03-05 16:31:49

Open Document

File Size: 1.003,88 KB

Share Result on Facebook

City

Zurich / /

Company

Toyota / Honeywell / Hewlett-Packard / Embedded Software Systems / General Motors / Infineon / Hybrid Systems / /

Country

Switzerland / United States / /

/

Facility

University of California / /

IndustryTerm

simulation tools / control algorithm / software subsystems / software framework / diverse tools / software tools / graphics infrastructure / above tools / heterogeneous systems / verification tools / computing / few software tools / physical systems / /

OperatingSystem

Kronos / /

Organization

National Science Foundation / University of California / Berkeley / Center for Hybrid / /

Person

Haiyang Zheng / Edward A. Lee / /

Position

guard / programming language designer / programmer / /

Product

CCR / /

ProgrammingLanguage

Stateflow / C / Simulink / /

ProvinceOrState

California / /

Technology

control algorithm / simulation / animation / /

SocialTag