Browse the PRECISE (Penn Research in Embedded Computing and Integrated Engineering) Collections:
Cyber Physical Systems Security
- Embedded Control Networks
- Formal Methods in Safety-Critical Systems
- Foundations for System Design Papers
- Model-Based Design
- Real-Time Resource Management
- Theory: Automata, Logics, and Decision Procedures for System Analysis
Automotive Cyber Physical Systems
Medical Cyber Physical Systems