Petter Nilsson

According to our database, Petter Nilsson authored at least 31 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formal Multi-Objective Synthesis of Continuous-State MDPs.

Sofie Haesaert, Petter Nilsson, Sadegh Soudjani

IEEE Control. Syst. Lett., 2021

2020

Multirobot Coordination With Counting Temporal Logics.

Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

IEEE Trans. Robotics, 2020

Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints.

Petter Nilsson, Necmiye Ozay

IEEE Trans. Autom. Control., 2020

A Scalable Safety Critical Control Framework for Nonlinear Systems.

Thomas Gurriet, Mark Mote, Andrew Singletary, Petter Nilsson, Eric Feron, Aaron D. Ames

IEEE Access, 2020

Safety-Critical Rapid Aerial Exploration of Unknown Environments.

Andrew Singletary, Thomas Gurriet, Petter Nilsson, Aaron D. Ames

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.

Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs.

Petter Nilsson, Aaron D. Ames

Proceedings of the 2020 American Control Conference, 2020

Invariant Sets for Integrators and Quadrotor Obstacle Avoidance.

Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray

Proceedings of the 2020 American Control Conference, 2020

2019

Online Active Safety for Robotic Manipulators.

Andrew Singletary, Petter Nilsson, Thomas Gurriet, Aaron D. Ames

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.

Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads.

Stephanie C. Ross, Petter Nilsson, Necmiye Ozay, Johanna L. Mathieu

Proceedings of the 2019 American Control Conference, 2019

Realizable Set Invariance Conditions for Cyber-Physical Systems.

Thomas Gurriet, Petter Nilsson, Andrew Singletary, Aaron D. Ames

Proceedings of the 2019 American Control Conference, 2019

2018

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.

Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.

Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames

Proceedings of the Robotics: Science and Systems XIV, 2018

Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control.

Petter Nilsson, Aaron D. Ames

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.

Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.

Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Augmented finite transition systems as abstractions for control synthesis.

Petter Nilsson, Necmiye Ozay, Jun Liu

Discret. Event Dyn. Syst., 2017

Control Synthesis for High-Dimensional Systems With Counting Constraints.

Petter Nilsson, Necmiye Ozay

CoRR, 2017

Provably-correct coordination of large collections of agents with counting temporal logic constraints.

Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems.

Petter Nilsson, Necmiye Ozay

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Synchronous and asynchronous multi-agent coordination with cLTL+ constraints.

Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Maximizing the time of invariance for large collections of switched systems.

Petter Nilsson, Necmiye Ozay

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Correct-by-Construction Adaptive Cruise Control: Two Approaches.

Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada

IEEE Trans. Control. Syst. Technol., 2016

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints.

Petter Nilsson, Necmiye Ozay

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Interdependence quantification for compositional control synthesis with an application in vehicle safety systems.

Stanley W. Smith, Petter Nilsson, Necmiye Ozay

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Synthesis of separable controlled invariant sets for modular local control design.

Petter Nilsson, Necmiye Ozay

Proceedings of the 2016 American Control Conference, 2016

2014

Incremental synthesis of switching protocols via abstraction refinement.

Petter Nilsson, Necmiye Ozay

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.

Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Invariant sets of defocused switched systems.

Petter Nilsson, Ugo V. Boscain, Mario Sigalotti, James Newling

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Temporal logic control of switched affine systems with an application in fuel balancing.

Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray

Proceedings of the American Control Conference, 2012