Model checking – ND Wireless Institute
Skip to content
Rafael Rodrigues da Silva, Vince 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