Visible to the public Biblio

Filters: Author is Lin, Hai  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2016.  Assume-guarantee reasoning framework for MDP-POMDP. Decision and Control (CDC), 2016 IEEE 55th Conference on. :795–800.
Zhang, Xiaobin, Zhu, Yinhao, Lin, Hai.  2016.  Performance guaranteed human-robot collaboration through correct-by-design. American Control Conference (ACC), 2016. :6183–6188.
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2015.  Learning based supervisor synthesis of pomdp for pctl specifications. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :7470–7475.
Dai, Jin, Karimoddini, Ali, Lin, Hai.  2016.  Achieving fault-tolerance and safety of discrete-event systems through learning. American Control Conference (ACC), 2016. :4835–4840.
Dai, Jin, Lin, Hai.  2015.  Learning-based design of fault-tolerant cooperative multi-agent systems. American Control Conference (ACC), 2015. :1929–1934.
Dai, Jin, Lin, Hai.  2014.  Automatic synthesis of cooperative multi-agent systems. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6173–6178.
Dai, Jin, Lin, Hai.  2014.  Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach. Control & Automation (ICCA), 11th IEEE International Conference on. :186–191.
da Silva, Rafael Rodrigues, Wu, Bo, Lin, Hai.  2016.  Formal design of robot integrated task and motion planning. Decision and Control (CDC), 2016 IEEE 55th Conference on. :6589–6594.