Petter Nilsson

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 33

Top Topics

Transition Systems

Unknown Environments

Top Venues

Publications

Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5 (5) (2021)
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC (2021)
Petter Nilsson, Aaron D. Ames
Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs. ACC (2020)
Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. ACC (2020)
Andrew Singletary, Thomas Gurriet, Petter Nilsson, Aaron D. Ames
Safety-Critical Rapid Aerial Exploration of Unknown Environments. ICRA (2020)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36 (4) (2020)
Thomas Gurriet, Mark Mote, Andrew Singletary, Petter Nilsson, Eric Feron, Aaron D. Ames
A Scalable Safety Critical Control Framework for Nonlinear Systems. IEEE Access 8 (2020)
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. ICCPS (2020)
Petter Nilsson, Necmiye Ozay
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. IEEE Trans. Autom. Control. 65 (2) (2020)
Stephanie C. Ross, Petter Nilsson, Necmiye Ozay, Johanna L. Mathieu
Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads. ACC (2019)
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. CoRR (2019)
Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces. CDC (2019)
Thomas Gurriet, Petter Nilsson, Andrew Singletary, Aaron D. Ames
Realizable Set Invariance Conditions for Cyber-Physical Systems. ACC (2019)
Andrew Singletary, Petter Nilsson, Thomas Gurriet, Aaron D. Ames
Online Active Safety for Robotic Manipulators. IROS (2019)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Multirobot Coordination with Counting Temporal Logics. CoRR (2018)
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ADHS (2018)
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
Using control synthesis to generate corner cases: A case study on autonomous driving. CoRR (2018)
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. ADHS (2018)
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. Robotics: Science and Systems (2018)
Petter Nilsson, Aaron D. Ames
Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. CDC (2018)
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR (2018)
Petter Nilsson, Necmiye Ozay, Jun Liu
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27 (2) (2017)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Provably-correct coordination of large collections of agents with counting temporal logic constraints. ICCPS (2017)
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. CDC (2017)
Petter Nilsson, Necmiye Ozay
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. HSCC (2017)
Petter Nilsson, Necmiye Ozay
Control Synthesis for High-Dimensional Systems With Counting Constraints. CoRR (2017)
Petter Nilsson, Necmiye Ozay
Maximizing the time of invariance for large collections of switched systems. CDC (2017)
Petter Nilsson, Necmiye Ozay
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. HSCC (2016)
Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Trans. Control. Syst. Technol. 24 (4) (2016)
Stanley W. Smith, Petter Nilsson, Necmiye Ozay
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. CDC (2016)
Petter Nilsson, Necmiye Ozay
Synthesis of separable controlled invariant sets for modular local control design. ACC (2016)
Petter Nilsson, Necmiye Ozay
Synthesis of separable controlled invariant sets for modular local control design. CoRR (2015)
Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC (2014)
Petter Nilsson, Necmiye Ozay
Incremental synthesis of switching protocols via abstraction refinement. CDC (2014)
Petter Nilsson, Ugo V. Boscain, Mario Sigalotti, James Newling
Invariant sets of defocused switched systems. CDC (2013)
Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
Temporal logic control of switched affine systems with an application in fuel balancing. ACC (2012)