Electrical & Computer Engineering Electrical and Computer Engineering

The College of Engineering at Carnegie Mellon UniversityCarnegie Mellon University

Andre Platzer

Assistant Professor – CS,  ECE
Department Electrical and Computer Engineering
Office 9103 Gates-Hillman Center
Telephone (412)-268-1558
Email
Website http://symbolaris.com/

Carnegie Mellon, 2008

Research Area

Signals/Controls

Keywords

Verification of embedded control systems, hybrid dynamical systems, cyber-physical systems, distributed hybrid systems, logic and formal methods