default search action

combined dblp search
author search
venue search
publication search

ask others

Petter Nilsson

> Home > Persons

Person information

affiliation: Yamaha Motor Corporation, USA
affiliation (former): California Institute of Technology, USA
affiliation (former): University of Michigan, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/HaesaertNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/HaesaertNS21
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5(5): 1765-1770 (2021)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HaesaertNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HaesaertNS21
Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC 2021: 3428-3433
2020
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/GurrietMSNFA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/GurrietMSNFA20
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: 187249-187275 (2020)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/NilssonO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/NilssonO20
Petter Nilsson, Necmiye Ozay:
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. IEEE Trans. Autom. Control. 65(2): 461-476 (2020)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/SahinNO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/SahinNO20
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36(4): 1189-1206 (2020)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DoeserNAM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DoeserNAM20
Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. ACC 2020: 3814-3821
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/NilssonA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/NilssonA20
Petter Nilsson, Aaron D. Ames:
Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs. ACC 2020: 5175-5181
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/KlaessonNAM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/KlaessonNAM20
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. ICCPS 2020: 196-205
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/SingletaryGNA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/SingletaryGNA20
Andrew Singletary, Thomas Gurriet, Petter Nilsson, Aaron D. Ames:
Safety-Critical Rapid Aerial Exploration of Unknown Environments. ICRA 2020: 10270-10276

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GurrietNSA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GurrietNSA19
Thomas Gurriet, Petter Nilsson, Andrew Singletary, Aaron D. Ames:
Realizable Set Invariance Conditions for Cyber-Physical Systems. ACC 2019: 3642-3649
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/RossNOM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/RossNOM19
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: 4260-4267
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HaesaertTNAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HaesaertTNAM19
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: 6282-6287
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SingletaryNGA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SingletaryNGA19
Andrew Singletary, Petter Nilsson, Thomas Gurriet, Aaron D. Ames:
Online Active Safety for Robotic Manipulators. IROS 2019: 173-178
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08626
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08626
Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems. CoRR abs/1911.08626 (2019)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ChouSYRNO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ChouSYRNO18
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): 2906-2917 (2018)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/BulanceaNO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/BulanceaNO18
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ADHS 2018: 19-24
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/HaesaertNVTAAM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/HaesaertNVTAAM18
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: 271-276
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/NilssonA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/NilssonA18
Petter Nilsson, Aaron D. Ames:
Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. CDC 2018: 765-772
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/NilssonHTOVAMA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/NilssonHTOVAMA18
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
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04280
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04280
Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR abs/1804.04280 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-09537
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-09537
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 abs/1807.09537 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1810-13087
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-13087
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination with Counting Temporal Logics. CoRR abs/1810.13087 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/NilssonOL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/NilssonOL17
Petter Nilsson, Necmiye Ozay, Jun Liu:
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27(2): 301-340 (2017)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SahinNO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SahinNO17
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. CDC 2017: 335-342
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/NilssonO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/NilssonO17
Petter Nilsson, Necmiye Ozay:
Maximizing the time of invariance for large collections of switched systems. CDC 2017: 3618-3625
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NilssonO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NilssonO17
Petter Nilsson, Necmiye Ozay:
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. HSCC 2017: 187-196
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/SahinNO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/SahinNO17
Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Provably-correct coordination of large collections of agents with counting temporal logic constraints. ICCPS 2017: 249-258
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NilssonO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NilssonO17
Petter Nilsson, Necmiye Ozay:
Control Synthesis for High-Dimensional Systems With Counting Constraints. CoRR abs/1706.07863 (2017)
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/NilssonHBCAGOPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/NilssonHBCAGOPT16
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): 1294-1307 (2016)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/NilssonO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/NilssonO16
Petter Nilsson, Necmiye Ozay:
Synthesis of separable controlled invariant sets for modular local control design. ACC 2016: 5656-5663
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SmithNO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SmithNO16
Stanley W. Smith, Petter Nilsson, Necmiye Ozay:
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems. CDC 2016: 5700-5707
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/NilssonO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/NilssonO16
Petter Nilsson, Necmiye Ozay:
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. HSCC 2016: 205-214
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NilssonO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NilssonO15
Petter Nilsson, Necmiye Ozay:
Synthesis of separable controlled invariant sets for modular local control design. CoRR abs/1510.02990 (2015)
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/NilssonHCBRAGOPT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/NilssonHCBRAGOPT14
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: 816-823
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/NilssonO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/NilssonO14
Petter Nilsson, Necmiye Ozay:
Incremental synthesis of switching protocols via abstraction refinement. CDC 2014: 6246-6253
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/NilssonBSN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/NilssonBSN13
Petter Nilsson, Ugo V. Boscain, Mario Sigalotti, James Newling:
Invariant sets of defocused switched systems. CDC 2013: 5987-5992
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/NilssonOTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/NilssonOTM12
Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Temporal logic control of switched affine systems with an application in fuel balancing. ACC 2012: 5302-5309

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.