Correct-by-Construction Adaptive Cruise Control: Two Approaches
Nilsson, Petter, Hussien, Omar, Balkan, Ayca, Chen, Yuxiao, Ames, Aaron D., Grizzle, Jessy W., Ozay, Necmiye, Huei Peng, Tabuada, Paulo
Published in IEEE transactions on control systems technology (01.07.2016)
Published in IEEE transactions on control systems technology (01.07.2016)
Get full text
Journal Article
A Scalable Safety Critical Control Framework for Nonlinear Systems
Gurriet, Thomas, Mote, Mark, Singletary, Andrew, Nilsson, Petter, Feron, Eric, Ames, Aaron D.
Published in IEEE access (2020)
Published in IEEE access (2020)
Get full text
Journal Article
Multirobot Coordination With Counting Temporal Logics
Sahin, Yunus Emre, Nilsson, Petter, Ozay, Necmiye
Published in IEEE transactions on robotics (01.08.2020)
Published in IEEE transactions on robotics (01.08.2020)
Get full text
Journal Article
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving
Chou, Glen, Sahin, Yunus Emre, Yang, Liren, Rutledge, Kwesi J., Nilsson, Petter, Ozay, Necmiye
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Get full text
Journal Article
Formal Multi-Objective Synthesis of Continuous-State MDPs
Haesaert, Sofie, Nilsson, Petter, Soudjani, Sadegh
Published in IEEE control systems letters (01.11.2021)
Published in IEEE control systems letters (01.11.2021)
Get full text
Journal Article
Online Active Safety for Robotic Manipulators
Singletary, Andrew, Nilsson, Petter, Gurriet, Thomas, Ames, Aaron D.
Published in 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (01.11.2019)
Published in 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (01.11.2019)
Get full text
Conference Proceeding
Synthesis of separable controlled invariant sets for modular local control design
Get full text
Conference Proceeding
Journal Article
Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control
Nilsson, Petter, Ames, Aaron D.
Published in 2018 IEEE Conference on Decision and Control (CDC) (01.12.2018)
Published in 2018 IEEE Conference on Decision and Control (CDC) (01.12.2018)
Get full text
Conference Proceeding
Incremental synthesis of switching protocols via abstraction refinement
Nilsson, Petter, Ozay, Necmiye
Published in 53rd IEEE Conference on Decision and Control (01.12.2014)
Published in 53rd IEEE Conference on Decision and Control (01.12.2014)
Get full text
Conference Proceeding
Formal Multi-Objective Synthesis of Continuous-State MDPs
Haesaert, Sofie, Nilsson, Petter, Soudjani, Sadegh
Published in 2021 American Control Conference (ACC) (25.05.2021)
Published in 2021 American Control Conference (ACC) (25.05.2021)
Get full text
Conference Proceeding
Realizable Set Invariance Conditions for Cyber-Physical Systems
Gurriet, Thomas, Nilsson, Petter, Singletary, Andrew, Ames, Aaron D.
Published in 2019 American Control Conference (ACC) (01.07.2019)
Published in 2019 American Control Conference (ACC) (01.07.2019)
Get full text
Conference Proceeding
Geology, sulphide geochemistry and geochronology of the Romsås Ni-Cu-Co mineralisation, Norway: Implications for ore formation and regional prospectivity
Mansur, Eduardo T., Sandstad, Jan Sverre, Slagstad, Trond, Miranda, Ana Carolina R., Dare, Sarah A.S., Nilsson, Lars Petter
Published in Lithos (01.10.2023)
Published in Lithos (01.10.2023)
Get full text
Journal Article
Maximizing the time of invariance for large collections of switched systems
Nilsson, Petter, Ozay, Necmiye
Published in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) (01.12.2017)
Published in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) (01.12.2017)
Get full text
Conference Proceeding