Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*
- Award ID(s):
- 1941670
- PAR ID:
- 10206316
- Date Published:
- Journal Name:
- ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
- Page Range / eLocation ID:
- 162 to 173
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
No document suggestions found
An official website of the United States government

