Petter Nilsson

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Formal Multi-Objective Synthesis of Continuous-State MDPs.
IEEE Control. Syst. Lett., 2021

2020
Multirobot Coordination With Counting Temporal Logics.
IEEE Trans. Robotics, 2020

Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints.
IEEE Trans. Autom. Control., 2020

A Scalable Safety Critical Control Framework for Nonlinear Systems.
IEEE Access, 2020

Safety-Critical Rapid Aerial Exploration of Unknown Environments.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.
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.
Proceedings of the 2020 American Control Conference, 2020

Invariant Sets for Integrators and Quadrotor Obstacle Avoidance.
Proceedings of the 2020 American Control Conference, 2020

2019
Online Active Safety for Robotic Manipulators.
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.
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.
Proceedings of the 2019 American Control Conference, 2019

Realizable Set Invariance Conditions for Cyber-Physical Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Proceedings of the Robotics: Science and Systems XIV, 2018

Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Augmented finite transition systems as abstractions for control synthesis.
Discret. Event Dyn. Syst., 2017

Control Synthesis for High-Dimensional Systems With Counting Constraints.
CoRR, 2017

Provably-correct coordination of large collections of agents with counting temporal logic constraints.
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.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Synchronous and asynchronous multi-agent coordination with cLTL+ constraints.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Maximizing the time of invariance for large collections of switched systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Correct-by-Construction Adaptive Cruise Control: Two Approaches.
IEEE Trans. Control. Syst. Technol., 2016

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints.
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.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Synthesis of separable controlled invariant sets for modular local control design.
Proceedings of the 2016 American Control Conference, 2016

2014
Incremental synthesis of switching protocols via abstraction refinement.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Invariant sets of defocused switched systems.
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.
Proceedings of the American Control Conference, 2012


  Loading...