IEEE Real-Time Systems Symposium, RTSS 2015


Article Details
Title: Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization
Article URLs:
Alternative Article URLs:
Authors: Stanley Bak
  • Information Directorate Rome, NY, USA, Air Force Research Lab
Taylor T. Johnson
  • University of Texas at Arlington Arlington, TX, USA
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1464311, 1527398
DBLP Key: conf/rtss/BakJ15
Author Comments:

Discuss this paper and its artifacts below