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: |
|