Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 01, 2015
- Source ID
- 10.1016/j.scico.2014.09.011
Entities
People
- Joshua Krisiloff
- José Meseguer
- Kyungmin Bae
- Peter Csaba Ölveczky
Organizations
- Air Force Office of Scientific Research
- Boeing
- National Science Foundation