| Distributed communication-aware motion planning for multi-agent systems from stl and spatel specifications Z Liu, B Wu, J Dai, H Lin 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4452-4457, 2017 | 75 | 2017 |
| Communication-aware motion planning for multi-agent systems from signal temporal logic specifications Z Liu, J Dai, B Wu, H Lin 2017 American Control Conference (ACC), 2516-2521, 2017 | 64 | 2017 |
| Distributed communication-aware motion planning for networked mobile robots under formal specifications Z Liu, B Wu, J Dai, H Lin IEEE Transactions on Control of Network Systems 7 (4), 1801-1811, 2020 | 43 | 2020 |
| Synthesis of insertion functions to enforce decentralized and joint opacity properties of discrete-event systems B Wu, J Dai, H Lin 2018 Annual American Control Conference (ACC), 3026-3031, 2018 | 29 | 2018 |
| Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination J Dai, A Benini, H Lin, PJ Antsaklis, MJ Rutherford, KP Valavanis 2016 24th Mediterranean Conference on Control and Automation (MED), 1008-1013, 2016 | 21 | 2016 |
| Automatic synthesis of cooperative multi-agent systems J Dai, H Lin 53rd IEEE Conference on Decision and Control, 6173-6178, 2014 | 21 | 2014 |
| Enforcement of opacity security properties for ship information system B Xing, J Dai, S Liu International Journal of Naval Architecture and Ocean Engineering 8 (5), 423-433, 2016 | 18 | 2016 |
| A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants J Dai, H Lin Control Theory and Technology 12 (3), 218-233, 2014 | 17 | 2014 |
| Combined top-down and bottom-up approach to cooperative distributed multi-agent control with connectivity constraints B Wu, J Dai, H Lin IFAC-PapersOnLine 48 (27), 224-229, 2015 | 16 | 2015 |
| Achieving fault-tolerance and safety of discrete-event systems through learning J Dai, A Karimoddini, H Lin 2016 American Control Conference (ACC), 4835-4840, 2016 | 12 | 2016 |
| Vehicle motion control system and method Y Wang, J Dai US Patent 10,663,966, 2020 | 9 | 2020 |
| Learning-based design of fault-tolerant cooperative multi-agent systems J Dai, H Lin 2015 American Control Conference (ACC), 1929-1934, 2015 | 9 | 2015 |
| Connectivity-preserving consensus algorithms for multi-agent systems J Dai, S Zhu, C Chen, X Guan IFAC Proceedings Volumes 44 (1), 5675-5680, 2011 | 8 | 2011 |
| From reeds-shepp's paths to continuous curvature paths-Part I: Transition schemes & algorithms J Dai, Y Wang, SA Bortoff, DJ Burns 2017 IEEE Conference on Control Technology and Applications (CCTA), 355-362, 2017 | 6 | 2017 |
| Motion controller for real-time continuous curvature path planning SA Bortoff, Y Wang, J Dai US Patent 10,591,915, 2020 | 5 | 2020 |
| On existence conditions of a class of continuous curvature paths J Dai, Y Wang 2017 36th Chinese Control Conference (CCC), 6773-6780, 2017 | 5 | 2017 |
| Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach J Dai, H Lin 11th IEEE International Conference on Control & Automation (ICCA), 186-191, 2014 | 4 | 2014 |
| Combined top-down and bottom-up design of cooperative multi-robot systems RR da Silva, B Wu, J Dai, H Lin submitted to Automatica, 2016 | 3 | 2016 |
| Formal Design of Cooperative Multi-Agent Systems. RR da Silva, B Wu, J Dai, H Lin AAAI Fall Symposia, 2016 | 2 | 2016 |
| Coordination and Control of Distributed Discrete Event Systems under Actuator and Sensor Faults J Dai, H Lin arXiv preprint arXiv:1707.05428, 2017 | 1 | 2017 |