default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPetter Nilsson
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
Journal Articles
- 2021
[j7]Sofie Haesaert
, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. IEEE Control. Syst. Lett. 5(5): 1765-1770 (2021)- 2020
- [j6]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]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]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination With Counting Temporal Logics. IEEE Trans. Robotics 36(4): 1189-1206 (2020) - 2018
- [j3]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) - 2017
- [j2]Petter Nilsson, Necmiye Ozay, Jun Liu:
Augmented finite transition systems as abstractions for control synthesis. Discret. Event Dyn. Syst. 27(2): 301-340 (2017) - 2016
- [j1]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)
Conference and Workshop Papers
- 2021
- [c24]Sofie Haesaert, Petter Nilsson, Sadegh Soudjani:
Formal Multi-Objective Synthesis of Continuous-State MDPs. ACC 2021: 3428-3433 - 2020
- [c23]Ludvig Doeser, Petter Nilsson, Aaron D. Ames, Richard M. Murray:
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance. ACC 2020: 3814-3821 - [c22]Petter Nilsson, Aaron D. Ames:
Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs. ACC 2020: 5175-5181 - [c21]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]Andrew Singletary, Thomas Gurriet, Petter Nilsson, Aaron D. Ames:
Safety-Critical Rapid Aerial Exploration of Unknown Environments. ICRA 2020: 10270-10276 - 2019
- [c19]Thomas Gurriet, Petter Nilsson, Andrew Singletary, Aaron D. Ames:
Realizable Set Invariance Conditions for Cyber-Physical Systems. ACC 2019: 3642-3649 - [c18]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]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]Andrew Singletary, Petter Nilsson, Thomas Gurriet, Aaron D. Ames:
Online Active Safety for Robotic Manipulators. IROS 2019: 173-178 - 2018
- [c15]Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. ADHS 2018: 19-24 - [c14]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]Petter Nilsson, Aaron D. Ames:
Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. CDC 2018: 765-772 - [c12]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 - 2017
- [c11]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Synchronous and asynchronous multi-agent coordination with cLTL+ constraints. CDC 2017: 335-342 - [c10]Petter Nilsson, Necmiye Ozay:
Maximizing the time of invariance for large collections of switched systems. CDC 2017: 3618-3625 - [c9]Petter Nilsson, Necmiye Ozay:
On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. HSCC 2017: 187-196 - [c8]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Provably-correct coordination of large collections of agents with counting temporal logic constraints. ICCPS 2017: 249-258 - 2016
- [c7]Petter Nilsson, Necmiye Ozay:
Synthesis of separable controlled invariant sets for modular local control design. ACC 2016: 5656-5663 - [c6]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]Petter Nilsson, Necmiye Ozay:
Control Synthesis for Large Collections of Systems with Mode-Counting Constraints. HSCC 2016: 205-214 - 2014
- [c4]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]Petter Nilsson, Necmiye Ozay:
Incremental synthesis of switching protocols via abstraction refinement. CDC 2014: 6246-6253 - 2013
- [c2]Petter Nilsson, Ugo V. Boscain, Mario Sigalotti, James Newling:
Invariant sets of defocused switched systems. CDC 2013: 5987-5992 - 2012
- [c1]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
Informal and Other Publications
- 2019
- [i6]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
- [i5]Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. CoRR abs/1804.04280 (2018) - [i4]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]Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Multirobot Coordination with Counting Temporal Logics. CoRR abs/1810.13087 (2018) - 2017
- [i2]Petter Nilsson, Necmiye Ozay:
Control Synthesis for High-Dimensional Systems With Counting Constraints. CoRR abs/1706.07863 (2017) - 2015
- [i1]Petter Nilsson, Necmiye Ozay:
Synthesis of separable controlled invariant sets for modular local control design. CoRR abs/1510.02990 (2015)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
