Adam Molin

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems.

[BibT_eX]

[DOI]

Lev Sorokin

Tiziano Munaro

Damir Safin

Brian Hsuan-Cheng Liao

Anil Kunnappillil Madhusudhanan

CoRR, 2023

Specification-Guided Critical Scenario Identification for Automated Driving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Any-Time Feasible Coordination for Multivehicle Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2022

Formal Specification for Learning-Enabled Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

A Multi-Vehicle Control Framework With Application to Automated Valet Parking.

[BibT_eX]

[DOI]

Maximilian Kneißl

Hasan Esen

IEEE Trans. Intell. Transp. Syst., 2021

Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2019

Scheduling networked state estimators based on Value of Information.

[BibT_eX]

[DOI]

Hasan Esen

Autom., 2019

A One-Step Feasible Negotiation Algorithm for Distributed Trajectory Generation of Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

A Feasible MPC-Based Negotiation Algorithm for Automated Intersection Crossing.

[BibT_eX]

[DOI]

Proceedings of the 16th European Control Conference, 2018

2017

Event-Triggered State Estimation: An Iterative Algorithm and Optimality Properties.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Error-dependent data scheduling in resource-aware multi-loop networked control systems.

[BibT_eX]

[DOI]

Autom., 2017

Event-triggered model predictive control with machine learning for compensation of model uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

A study on the sensitivity matrix in power system state estimation by using sparse principal component analysis.

[BibT_eX]

[DOI]

Henrik Sandberg

Magnus Johansson

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Consistency-preserving event-triggered estimation in sensor networks.

[BibT_eX]

[DOI]

Henrik Sandberg

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Innovations-based priority assignment for control over CAN-like networks.

[BibT_eX]

[DOI]

Chithrupa Ramesh

Hasan Esen

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Price-Based Adaptive Scheduling in Multi-Loop Control Systems With Resource Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

A bi-level approach for the design of event-triggered control systems over a shared network.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2014

Event-triggered scheduling for stochastic multi-loop networked control systems with packet dropouts.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

On the Optimality of Certainty Equivalence for Event-Triggered Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Dynamic strategy selection for physical robotic assistance in partially known tasks.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Stability analysis of stochastic prioritized dynamic scheduling for resource-aware heterogeneous multi-loop control systems.

[BibT_eX]

[DOI]

Mohammad H. Mamduhi

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Entwurf vernetzter ereignisbasierter Regelungssysteme mit Kommunikationsbeschränkungen.

[BibT_eX]

[DOI]

Autom., 2012

Adaptive event-triggered control over a shared network.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An Iterative Algorithm for Optimal Event-Triggered Estimation.

[BibT_eX]

[DOI]

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Optimal design of decentralized event-triggered controllers for large-scale systems with contention-based communication.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Order reduction in optimal event-triggered control design for linear stochastic systems.

[BibT_eX]

[DOI]

Henning Tischer

Proceedings of the American Control Conference, 2011

2010

Structural characterization of optimal event-based controllers for linear stochastic systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Guaranteed performance cost control over Quality-of-Service networks.

[BibT_eX]

[DOI]

Chih-Chung Chen

Proceedings of the 10th European Control Conference, 2009

On LQG joint optimal scheduling and control under communication constraints.

[BibT_eX]

[DOI]