Concepedia

Petter Nilsson

PN

Statistics

Publications

18

Citations

684

H-Index

15

Active since

2014

Affiliations

University of Michigan(Current)

California Institute of Technology

KTH Royal Institute of Technology

University of California, Los Angeles

Georgia Institute of Technology

Petter Nilsson is an author at University of Michigan specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceFormal VerificationAutomationProcess ControlRoboticsSpace EngineeringAutomated Reasoning

Publications per year

2014–2020

18

Publications

18

Correct-by-Construction Adaptive Cruise Control: Two Approaches

Petter Nilsson, Omar Hussien, Ayça Balkan et al. · IEEE Transactions on Control Systems Technology · 2015 · 159 citations · Full text

Engineering, Ship Maneuvering, Emergency Controller +14

A Scalable Safety Critical Control Framework for Nonlinear Systems

Thomas Gurriet, Mark Mote, Andrew Singletary et al. · IEEE Access · 2020 · 62 citations · Full text

Optimal Control, Engineering, Control Invariant Sets +12

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

Glen Chou, Yunus Emre Sahin, Liren Yang et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 49 citations · Full text

Augmented finite transition systems as abstractions for control synthesis

Petter Nilsson, Necmiye Özay, Jun Liu · Discrete Event Dynamic Systems · 2017 · 47 citations

Engineering, Process Control, Formal Methods +5

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

Stanley W. Smith, Petter Nilsson, Necmiye Özay · 2016 · 44 citations

Engineering, Affine Map, Robust Control +18

1–5 of 18