Andr´e Platzer Computer Science Department Carnegie Mellon University / /
IndustryTerm
incident management / distributed hybrid systems / car system / cooperation protocols / rules using solutions / medical robotic surgery systems / car starts / classical discrete systems / car controllers / train control systems / differential equation systems / embedded systems / chemical processes / cyber-physical systems / safety-critical applications / differential-algebraic hybrid systems / biological systems / Verification tools / car control systems / highway car traffic / simpler systems / car control scenario / nontrivial applications / stochastic hybrid systems / computing / finite-state systems / hybrid systems / proof systems / car control / complicated hybrid systems / premature manufacturing / physical systems / real-time systems / automatic proof search procedure searching / phase transition systems / /
Organization
Andr´e Platzer Computer Science Department Carnegie Mellon University Pittsburgh / /
Position
designer / MP / car controller / Rules MP / controller / distributed elevator controller / discrete controller / /
c 2012 IEEE[removed]27th Annual ACM/IEEE Symposium on Logic in Computer Science Logics of Dynamical Systems (Invited Paper) Andr´e Platzer