Segui
Petter Nilsson
Petter Nilsson
Affiliazione sconosciuta
Email verificata su umich.edu - Home page
Titolo
Citata da
Citata da
Anno
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
1772015
Multirobot coordination with counting temporal logics
YE Sahin, P Nilsson, N Ozay
IEEE Transactions on Robotics 36 (4), 1189-1206, 2019
602019
Synthesis of separable controlled invariant sets for modular local control design
P Nilsson, N Ozay
2016 American Control Conference (ACC), 5656-5663, 2016
522016
Incremental synthesis of switching protocols via abstraction refinement
P Nilsson, N Ozay
53rd IEEE Conference on Decision and Control, 6246-6253, 2014
522014
Augmented finite transition systems as abstractions for control synthesis
P Nilsson, N Ozay, J Liu
Discrete Event Dynamic Systems 27, 301-340, 2017
502017
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
502014
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
482020
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
452016
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
442018
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
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
332019
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
292018
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
282017
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
282016
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
262018
Realizable set invariance conditions for cyber-physical systems
T Gurriet, P Nilsson, A Singletary, AD Ames
2019 American Control Conference (ACC), 3642-3649, 2019
232019
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
212020
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
212017
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
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
172012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20