Follow
Petter Nilsson
Petter Nilsson
Unknown affiliation
Verified email at umich.edu - Homepage
Title
Cited by
Cited by
Year
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
1912015
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
742019
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
632020
Synthesis of separable controlled invariant sets for modular local control design
P Nilsson, N Ozay
2016 American Control Conference (ACC), 5656-5663, 2016
532016
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
512014
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
502018
Augmented finite transition systems as abstractions for control synthesis
P Nilsson, N Ozay, J Liu
Discrete Event Dynamic Systems 27, 301-340, 2017
502017
Incremental synthesis of switching protocols via abstraction refinement
P Nilsson, N Ozay
53rd IEEE Conference on Decision and Control, 6246-6253, 2014
502014
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
482016
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
442019
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
362018
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
332018
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
312017
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
292018
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
292016
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
272017
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
262020
Realizable set invariance conditions for cyber-physical systems
T Gurriet, P Nilsson, A Singletary, AD Ames
2019 American Control Conference (ACC), 3642-3649, 2019
242019
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
182012
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
172017
The system can't perform the operation now. Try again later.
Articles 1–20