| Correct-by-construction adaptive cruise control: Two approaches P Nilsson, O Hussien, A Balkan, Y Chen, AD Ames, JW Grizzle, N Ozay, ... IEEE Transactions on Control Systems Technology 24 (4), 1294-1307, 2015 | 195 | 2015 |
| Multirobot coordination with counting temporal logics YE Sahin, P Nilsson, N Ozay IEEE Transactions on Robotics 36 (4), 1189-1206, 2019 | 76 | 2019 |
| A scalable safety critical control framework for nonlinear systems T Gurriet, M Mote, A Singletary, P Nilsson, E Feron, AD Ames IEEE Access 8, 187249-187275, 2020 | 65 | 2020 |
| Synthesis of separable controlled invariant sets for modular local control design P Nilsson, N Ozay 2016 American Control Conference (ACC), 5656-5663, 2016 | 53 | 2016 |
| Using control synthesis to generate corner cases: A case study on autonomous driving G Chou, YE Sahin, L Yang, KJ Rutledge, P Nilsson, N Ozay IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 52 | 2018 |
| Preliminary results on correct-by-construction control software synthesis for adaptive cruise control P Nilsson, O Hussien, Y Chen, A Balkan, M Rungger, A Ames, J Grizzle, ... 53rd IEEE Conference on Decision and Control, 816-823, 2014 | 51 | 2014 |
| Augmented finite transition systems as abstractions for control synthesis P Nilsson, N Ozay, J Liu Discrete Event Dynamic Systems 27, 301-340, 2017 | 50 | 2017 |
| Incremental synthesis of switching protocols via abstraction refinement P Nilsson, N Ozay 53rd IEEE Conference on Decision and Control, 6246-6253, 2014 | 50 | 2014 |
| Interdependence quantification for compositional control synthesis with an application in vehicle safety systems SW Smith, P Nilsson, N Ozay 2016 IEEE 55th Conference on Decision and Control (CDC), 5700-5707, 2016 | 48 | 2016 |
| Online active safety for robotic manipulators A Singletary, P Nilsson, T Gurriet, AD Ames 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2019 | 45 | 2019 |
| Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. P Nilsson, S Haesaert, R Thakker, K Otsu, CI Vasile, ... Robotics: Science and systems 14, 1-9, 2018 | 37 | 2018 |
| Temporal logic control of pomdps via label-based stochastic simulation relations S Haesaert, P Nilsson, CI Vasile, R Thakker, A Agha-mohammadi, ... IFAC-PapersOnLine 51 (16), 271-276, 2018 | 34 | 2018 |
| Provably-correct coordination of large collections of agents with counting temporal logic constraints YE Sahin, P Nilsson, N Ozay Proceedings of the 8th International Conference on Cyber-Physical Systems …, 2017 | 31 | 2017 |
| Barrier functions: Bridging the gap between planning from specifications and safety-critical control P Nilsson, AD Ames 2018 IEEE Conference on Decision and Control (CDC), 765-772, 2018 | 30 | 2018 |
| Control synthesis for large collections of systems with mode-counting constraints P Nilsson, N Ozay Proceedings of the 19th international conference on hybrid systems …, 2016 | 29 | 2016 |
| Synchronous and asynchronous multi-agent coordination with cLTL+ constraints YE Sahin, P Nilsson, N Ozay 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 335-342, 2017 | 27 | 2017 |
| Safety-critical rapid aerial exploration of unknown environments A Singletary, T Gurriet, P Nilsson, AD Ames 2020 IEEE International Conference on Robotics and Automation (ICRA), 10270 …, 2020 | 26 | 2020 |
| Realizable set invariance conditions for cyber-physical systems T Gurriet, P Nilsson, A Singletary, AD Ames 2019 American Control Conference (ACC), 3642-3649, 2019 | 24 | 2019 |
| Temporal logic control of switched affine systems with an application in fuel balancing P Nilsson, N Özay, U Topcu, RM Murray 2012 American Control Conference (ACC), 5302-5309, 2012 | 18 | 2012 |
| On a class of maximal invariance inducing control strategies for large collections of switched systems P Nilsson, N Ozay Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 17 | 2017 |
Necmiye OzayEECS, University of MichiganEmail verificata su umich.edu