Back to Results
First PageMeta Content
Cybernetics / Systems theory / KeY / System / Intelligent speed adaptation / ECLiPSe / Control theory / Hybrid system / Situation awareness / Software / Computing / Computer programming


Modeling and Verification of Continuous Object Behavior and Discrete Control Actions in Situation Awareness Systems★ Stefan Mitsch Marshall Plan Scholar Johannes Kepler University Linz
Add to Reading List

Document Date: 2012-12-12 22:11:48

Open Document

File Size: 980,30 KB

Share Result on Facebook

Company

FIT-IT Semantic Systems / Situation Awareness Systems / /

Country

Austria / /

Facility

Today’s highway / /

IndustryTerm

navigation systems / car change / automatic driver assistance technology / in-car driver assistance technology / road traffic management / traffic control systems / roadside sensor infrastructure / awareness systems / control systems / Large-scale control systems / roadside infrastructure / infrastructure-to-car communication / driver assistance systems / hybrid systems / car control / use car information / highway network / static road infrastructure / in-car driver assistance systems / verification tool / /

Organization

US Federal Reserve / Marshall Plan Foundation / /

Person

Stefan Mitsch Marshall / /

Position

The KeYmaera Eclipse Editor The KeYmaera Eclipse editor / complete KeYmaera Eclipse editor / driver / KeYmaera Eclipse editor The KeYmaera Eclipse editor / KeYmaera Eclipse editor / editor / text editor / textual modeling environment KeYmaera Eclipse editor / /

Technology

in-car driver assistance technology / GPS / simulation / CPS technology / automatic driver assistance technology / /

URL

www.symbolaris.com/info/KeYmaera-guide.html#keymaerafile / www.eclipse.org/Xtext / /

SocialTag