Petter Nilsson

40 papers A* 2A 1C 7Journal 15Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Visual Foresight for Robotic Stow: A Diffusion-Based World Model from Sparse Snapshots.
CoRR
Lijun Zhang, Nikhil Chacko, Petter Nilsson, Ruinian Xu, Shantanu Thakar, Bai Lou, Harpreet Sawhney, Zhebin Zhang, Mudit Agrawal, Bhavana Chandrashekhar, Aaron Parness
2025 A* conf
Depth Estimation Through Translucent Surfaces.
ICRA
Siyu Dai, Xibai Lou, Petter Nilsson, Shantanu Thakar, Cassie Meeker, Ariel Gordon, Xiangxin Kong, Jenny Zhang, Benjamin Knoerlein, Ruguan Liu, Bhavana Chandrashekhar, Sisir Karumanchi
2025 J jnl
Stow: Robotic Packing of Items into Fabric Pods.
CoRR
Nicolas Hudson, Josh Hooks, Rahul Warrier, Curt Salisbury, Ross Hartley, Kislay Kumar, Bhavana Chandrashekhar, Paul Birkmeyer, Bosch Tang, Matthew A. Frost, Shantanu Thakar, Tony Piaskowy, Petter Nilsson, Josh Petersen, Neel Doshi, Alan Slatter, Ankit Bhatia, Cassie Meeker, Yuechuan Xue, Dylan Cox, Alex Kyriazis, Bai Lou, Nadeem Hasan, Asif Rana, Nikhil Chacko, Ruinian Xu, Siamak Faal, Esi Seraj, Mudit Agrawal, Kevin Jamieson, Alessio Bisagni, Valerie Samzun, Christine Fuller, Alex Keklak, Alex Frenkel, Lillian J. Ratliff, Aaron Parness
2021 C conf
Formal Multi-Objective Synthesis of Continuous-State MDPs.
ACC
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
2021 J jnl
Formal Multi-Objective Synthesis of Continuous-State MDPs.
IEEE Control. Syst. Lett.
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani
2020 J jnl
A Scalable Safety Critical Control Framework for Nonlinear Systems.
IEEE Access
Thomas Gurriet, Mark Mote, Andrew Singletary, Petter Nilsson, Eric Feron, Aaron D. Ames
2020 J jnl
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints.
IEEE Trans. Autom. Control.
Petter Nilsson, Necmiye Ozay
2020 — conf
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.
ICCPS
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
2020 C conf
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance.
ACC
Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray
2020 C conf
Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs.
ACC
Petter Nilsson, Aaron D. Ames
2020 J jnl
Multirobot Coordination With Counting Temporal Logics.
IEEE Trans. Robotics
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2020 A* conf
Safety-Critical Rapid Aerial Exploration of Unknown Environments.
ICRA
Andrew Singletary, Thomas Gurriet, Petter Nilsson, Aaron D. Ames
2019 J jnl
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems.
CoRR
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray
2019 C conf
Managing Voltage Excursions on the Distribution Network by Limiting the Aggregate Variability of Thermostatic Loads.
ACC
Stephanie C. Ross, Petter Nilsson, Necmiye Ozay, Johanna L. Mathieu
2019 A conf
Online Active Safety for Robotic Manipulators.
IROS
Andrew Singletary, Petter Nilsson, Thomas Gurriet, Aaron D. Ames
2019 C conf
Realizable Set Invariance Conditions for Cyber-Physical Systems.
ACC
Thomas Gurriet, Petter Nilsson, Andrew Singletary, Aaron D. Ames
2019 — conf
Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces.
CDC
Sofie Haesaert, Rohan Thakker, Petter Nilsson, Ali-Akbar Agha-Mohammadi, Richard M. Murray
2018 — conf
Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control.
CDC
Petter Nilsson, Aaron D. Ames
2018 J jnl
Multirobot Coordination with Counting Temporal Logics.
CoRR
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2018 — conf
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.
ADHS
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
2018 J jnl
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.
CoRR
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
2018 — conf
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
ADHS
Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-Akbar Agha-Mohammadi, Aaron D. Ames, Richard M. Murray
2018 — conf
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Robotics: Science and Systems
Petter Nilsson, Sofie Haesaert, Rohan Thakker, Kyohei Otsu, Cristian Ioan Vasile, Ali-Akbar Agha-Mohammadi, Richard M. Murray, Aaron D. Ames
2018 J jnl
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
2018 J jnl
Using control synthesis to generate corner cases: A case study on autonomous driving.
CoRR
Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay
2017 J jnl
Augmented finite transition systems as abstractions for control synthesis.
Discret. Event Dyn. Syst.
Petter Nilsson, Necmiye Ozay, Jun Liu
2017 J jnl
Control Synthesis for High-Dimensional Systems With Counting Constraints.
CoRR
Petter Nilsson, Necmiye Ozay
2017 — conf
Maximizing the time of invariance for large collections of switched systems.
CDC
Petter Nilsson, Necmiye Ozay
2017 — conf
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems.
HSCC
Petter Nilsson, Necmiye Ozay
2017 — conf
Provably-correct coordination of large collections of agents with counting temporal logic constraints.
ICCPS
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2017 — conf
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints.
CDC
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay
2016 — conf
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints.
HSCC
Petter Nilsson, Necmiye Ozay
2016 J jnl
Correct-by-Construction Adaptive Cruise Control: Two Approaches.
IEEE Trans. Control. Syst. Technol.
Petter Nilsson, Omar Hussien, Ayca Balkan, Yuxiao Chen, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2016 — conf
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems.
CDC
Stanley W. Smith, Petter Nilsson, Necmiye Ozay
2016 C conf
Synthesis of separable controlled invariant sets for modular local control design.
ACC
Petter Nilsson, Necmiye Ozay
2015 J jnl
Synthesis of separable controlled invariant sets for modular local control design.
CoRR
Petter Nilsson, Necmiye Ozay
2014 — conf
Incremental synthesis of switching protocols via abstraction refinement.
CDC
Petter Nilsson, Necmiye Ozay
2014 — conf
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
CDC
Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
2013 — conf
Invariant sets of defocused switched systems.
CDC
Petter Nilsson, Ugo V. Boscain, Mario Sigalotti, James Newling
2012 C conf
Temporal logic control of switched affine systems with an application in fuel balancing.
ACC
Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray