Temporal logic control of switched affine systems with an application in fuel balancing. - Petter Nilsson; Necmiye Ozay; Ufuk Topcu; Richard M. Murray (ACC, 2012)

Invariant sets of defocused switched systems. - Petter Nilsson; Ugo V. Boscain; Mario Sigalotti; James Newling (CDC, 2013)

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. - Petter Nilsson; Omar Hussien; Yuxiao Chen 001; Ayca Balkan; Matthias Rungger; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (CDC, 2014)

Incremental synthesis of switching protocols via abstraction refinement. - Petter Nilsson; Necmiye Ozay (CDC, 2014)

Synthesis of separable controlled invariant sets for modular local control design. - Petter Nilsson; Necmiye Ozay (ACC, 2016)

Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. - Stanley W. Smith; Petter Nilsson; Necmiye Ozay (CDC, 2016)

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. - Petter Nilsson; Necmiye Ozay (HSCC, 2016)

Correct-by-Construction Adaptive Cruise Control: Two Approaches. - Petter Nilsson; Omar Hussien; Ayca Balkan; Yuxiao Chen 001; Aaron D. Ames; Jessy W. Grizzle; Necmiye Ozay; Huei Peng; Paulo Tabuada (IEEE Trans. Control. Syst. Technol., 2016)

Maximizing the time of invariance for large collections of switched systems. - Petter Nilsson; Necmiye Ozay (CDC, 2017)

Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. - Yunus Emre Sahin; Petter Nilsson; Necmiye Ozay (CDC, 2017)

On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. - Petter Nilsson; Necmiye Ozay (HSCC, 2017)

Provably-correct coordination of large collections of agents with counting temporal logic constraints. - Yunus Emre Sahin; Petter Nilsson; Necmiye Ozay (ICCPS, 2017)

Control Synthesis for High-Dimensional Systems With Counting Constraints. - Petter Nilsson; Necmiye Ozay (CoRR, 2017)

Augmented finite transition systems as abstractions for control synthesis. - Petter Nilsson; Necmiye Ozay; Jun Liu 015 (Discret. Event Dyn. Syst., 2017)

Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. - Oscar Lindvall Bulancea; Petter Nilsson; Necmiye Ozay (ADHS, 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 (ADHS, 2018)

Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. - Petter Nilsson; Aaron D. Ames (CDC, 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 (Robotics: Science and Systems, 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)

Realizable Set Invariance Conditions for Cyber-Physical Systems. - Thomas Gurriet; Petter Nilsson; Andrew Singletary; Aaron D. Ames (ACC, 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 (ACC, 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 (CDC, 2019)

Online Active Safety for Robotic Manipulators. - Andrew Singletary; Petter Nilsson; Thomas Gurriet; Aaron D. Ames (IROS, 2019)

Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. - Ludvig Doeser; Petter Nilsson; Aaron D. Ames; Richard M. Murray (ACC, 2020)

Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs. - Petter Nilsson; Aaron D. Ames (ACC, 2020)

Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. - Filip Klaesson; Petter Nilsson; Aaron D. Ames; Richard M. Murray (ICCPS, 2020)

Safety-Critical Rapid Aerial Exploration of Unknown Environments. - Andrew Singletary; Thomas Gurriet; Petter Nilsson; Aaron D. Ames (ICRA, 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)

Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. - Petter Nilsson; Necmiye Ozay (IEEE Trans. Autom. Control., 2020)

Multirobot Coordination With Counting Temporal Logics. - Yunus Emre Sahin; Petter Nilsson; Necmiye Ozay (IEEE Trans. Robotics, 2020)

Formal Multi-Objective Synthesis of Continuous-State MDPs. - Sofie Haesaert; Petter Nilsson; Sadegh Soudjani (IEEE Control. Syst. Lett., 2021)

Stow: Robotic Packing of Items into Fabric Pods. - 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; et al. (CoRR, 2025)