Publication Library
Filters
Model checking
Citation | Research Areas | Publication Date |
---|---|---|
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 | |
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 |