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
1012015
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
432014
Incremental synthesis of switching protocols via abstraction refinement
P Nilsson, N Ozay
53rd IEEE Conference on Decision and Control, 6246-6253, 2014
412014
Synthesis of separable controlled invariant sets for modular local control design
P Nilsson, N Ozay
2016 American Control Conference (ACC), 5656-5663, 2016
392016
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
322016
Augmented finite transition systems as abstractions for control synthesis
P Nilsson, N Ozay, J Liu
Discrete Event Dynamic Systems 27 (2), 301-340, 2017
282017
Provably-correct coordination of large collections of agents with counting temporal logic constraints
YE Sahin, P Nilsson, N Ozay
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS …, 2017
202017
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
202016
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
152018
Toward specification-guided active mars exploration for cooperative robot teams
P Nilsson, S Haesaert, R Thakker, K Otsu, CI Vasile, ...
Robotics: Science and Systems Foundation, 2018
142018
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
142018
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
132019
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
132017
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
122019
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
122017
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
122012
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
102018
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
72020
Realizable set invariance conditions for cyber-physical systems
T Gurriet, P Nilsson, A Singletary, AD Ames
2019 American Control Conference (ACC), 3642-3649, 2019
72019
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings
OL Bulancea, P Nilsson, N Ozay
IFAC-PapersOnLine 51 (16), 19-24, 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20