Visible to the public Biblio

Filters: Keyword is 1446288  [Clear All Filters]
2018-05-25
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.
Dai, Jin, Lin, Hai.  2014.  A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants. Control Theory and Technology. 12:218–233.
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.  2015.  Learning-based design of fault-tolerant cooperative multi-agent systems. American Control Conference (ACC), 2015. :1929–1934.
Wu, Bo, Dai, Jin, Lin, Hai.  2015.  Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. IFAC-PapersOnLine. 48:224–229.
Wu, Bo, Lin, Hai.  2015.  Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. American Control Conference (ACC), 2015. :2894–2899.
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, Benini, Alessandro, Lin, Hai, Antsaklis, Panos J, Rutherford, Matthew J, Valavanis, Kimon P.  2016.  Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination. Control and Automation (MED), 2016 24th Mediterranean Conference on. :1008–1013.
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.
Zhang, Xiaobin, Zhu, Yinhao, Lin, Hai.  2016.  Performance guaranteed human-robot collaboration through correct-by-design. American Control Conference (ACC), 2016. :6183–6188.
Wu, Bo, Lin, Hai.  2016.  Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. American Control Conference (ACC), 2016. :5519–5524.
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.
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.
Wu, Bo, Zhang, Xiaobin, Lin, Hai.  2017.  Permissive Supervisor Synthesis for Markov Decision Processes through Learning. arXiv preprint arXiv:1703.07351.
Zhang, Xiaobin, Wu, Bo, Lin, Hai.  2017.  Supervisor Synthesis of POMDP based on Automata Learning. arXiv preprint arXiv:1703.08262.
Liu, Zhiyu, Wu, Bo, Dai, Jin, Lin, Hai.  2017.  Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. arXiv preprint arXiv:1705.10259.
Liu, Zhiyu, Dai, Jin, Wu, Bo, Lin, Hai.  2017.  Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. arXiv preprint arXiv:1705.11085.
Wu, Bo, Hu, Bin, Lin, Hai.  2017.  Toward efficient manufacturing systems: A trust based human robot collaboration. American Control Conference (ACC), 2017. :1536–1541.
Dai, Jin, Lin, Hai.  2017.  Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures. arXiv preprint arXiv:1707.05428.
Wu, Bo, Lemmon, Michael D, Lin, Hai.  2017.  Formal methods for stability analysis of networked control systems with ieee 802.15. 4 protocol. IEEE Transactions on Control Systems Technology.