R. Rodrigues da Silva, V. Kurtz, and H. Lin,
"Active Perception and Control from Temporal Logic Specifications"
IEEE Control Systems Letters, Vol. 3, Issue 4, Pages 1068-1073,
Oct. 2019 |
|
Oct. 2019 |
B. Wu, M. Lemmon, and H. Lin,
"Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol"
IEEE Transactions on Control Systems Technology, Volume: 26, Issue: 5, pp. 1635 - 1645,
Sep. 2018 |
|
Sep. 2018 |
H. Lin,
"Permissive Supervisor Synthesis for Markov Decision Processes through Learning"
accepted by IEEE Transactions on Automatic Control,
Nov. 2018 |
|
Nov. 2018 |