Login / Signup
Adam Molin
ORCID
Publication Activity (10 Years)
Years Active: 2006-2024
Publications (10 Years): 17
Top Topics
Control System
Formal Specification
Nonlinear Dynamical Systems
Top Venues
CDC
CoRR
Autom.
IEEE Trans. Autom. Control.
</>
Publications
</>
Lev Sorokin
,
Radouane Bouchekir
,
Tewodros A. Beyene
,
Brian Hsuan-Cheng Liao
,
Adam Molin
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus.
EDCC Workshops
(2024)
Lev Sorokin
,
Tiziano Munaro
,
Damir Safin
,
Brian Hsuan-Cheng Liao
,
Adam Molin
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems.
ICSE Companion
(2024)
Lev Sorokin
,
Radouane Bouchekir
,
Tewodros A. Beyene
,
Brian Hsuan-Cheng Liao
,
Adam Molin
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus.
CoRR
(2024)
Adam Molin
,
Edgar A. Aguilar
,
Dejan Nickovic
,
Mengjia Zhu
,
Alberto Bemporad
,
Hasan Esen
Specification-Guided Critical Scenario Identification for Automated Driving.
FM
(2023)
Lev Sorokin
,
Tiziano Munaro
,
Damir Safin
,
Brian Hsuan-Cheng Liao
,
Adam Molin
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems.
CoRR
(2023)
Maximilian Kneissl
,
Adam Molin
,
Hasan Esen
,
Sandra Hirche
Any-Time Feasible Coordination for Multivehicle Systems.
IEEE Trans. Control. Syst. Technol.
30 (5) (2022)
Saddek Bensalem
,
Chih-Hong Cheng
,
Xiaowei Huang
,
Panagiotis Katsaros
,
Adam Molin
,
Dejan Nickovic
,
Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems.
NSV/FoMLAS@CAV
(2022)
Miel Sharf
,
Bart Besselink
,
Adam Molin
,
Qiming Zhao
,
Karl Henrik Johansson
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.
ADHS
(2021)
Maximilian Kneißl
,
Anil Kunnappillil Madhusudhanan
,
Adam Molin
,
Hasan Esen
,
Sandra Hirche
A Multi-Vehicle Control Framework With Application to Automated Valet Parking.
IEEE Trans. Intell. Transp. Syst.
22 (9) (2021)
Miel Sharf
,
Bart Besselink
,
Adam Molin
,
Qiming Zhao
,
Karl Henrik Johansson
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.
CoRR
(2020)
Maximilian Kneißl
,
Adam Molin
,
Hasan Esen
,
Sandra Hirche
A One-Step Feasible Negotiation Algorithm for Distributed Trajectory Generation of Autonomous Vehicles.
CDC
(2019)
Adam Molin
,
Hasan Esen
,
Karl Henrik Johansson
Scheduling networked state estimators based on Value of Information.
Autom.
110 (2019)
Maximilian Kneißl
,
Adam Molin
,
Hasan Esen
,
Sandra Hirche
A Feasible MPC-Based Negotiation Algorithm for Automated Intersection Crossing.
ECC
(2018)
Jaehyun Yoo
,
Adam Molin
,
Matin Jafarian
,
Hasan Esen
,
Dimos V. Dimarogonas
,
Karl Henrik Johansson
Event-triggered model predictive control with machine learning for compensation of model uncertainties.
CDC
(2017)
Mohammad H. Mamduhi
,
Adam Molin
,
Domagoj Tolic
,
Sandra Hirche
Error-dependent data scheduling in resource-aware multi-loop networked control systems.
Autom.
81 (2017)
Adam Molin
,
Sandra Hirche
Event-Triggered State Estimation: An Iterative Algorithm and Optimality Properties.
IEEE Trans. Autom. Control.
62 (11) (2017)
Adam Molin
,
Henrik Sandberg
,
Magnus Johansson
A study on the sensitivity matrix in power system state estimation by using sparse principal component analysis.
CDC
(2016)
Adam Molin
,
Henrik Sandberg
,
Karl Henrik Johansson
Consistency-preserving event-triggered estimation in sensor networks.
CDC
(2015)
Adam Molin
,
Chithrupa Ramesh
,
Hasan Esen
,
Karl Henrik Johansson
Innovations-based priority assignment for control over CAN-like networks.
CDC
(2015)
Adam Molin
,
Sandra Hirche
A bi-level approach for the design of event-triggered control systems over a shared network.
Discret. Event Dyn. Syst.
24 (2) (2014)
Mohammad H. Mamduhi
,
Domagoj Tolic
,
Adam Molin
,
Sandra Hirche
Event-triggered scheduling for stochastic multi-loop networked control systems with packet dropouts.
CDC
(2014)
Adam Molin
,
Sandra Hirche
Price-Based Adaptive Scheduling in Multi-Loop Control Systems With Resource Constraints.
IEEE Trans. Autom. Control.
59 (12) (2014)
Mohammad H. Mamduhi
,
Adam Molin
,
Sandra Hirche
Stability analysis of stochastic prioritized dynamic scheduling for resource-aware heterogeneous multi-loop control systems.
CDC
(2013)
Adam Molin
,
Sandra Hirche
On the Optimality of Certainty Equivalence for Event-Triggered Control Systems.
IEEE Trans. Autom. Control.
58 (2) (2013)
Jose Ramon Medina
,
Martin Lawitzky
,
Adam Molin
,
Sandra Hirche
Dynamic strategy selection for physical robotic assistance in partially known tasks.
ICRA
(2013)
Adam Molin
,
Sandra Hirche
An Iterative Algorithm for Optimal Event-Triggered Estimation.
ADHS
(2012)
Adam Molin
,
Sandra Hirche
Adaptive event-triggered control over a shared network.
CDC
(2012)
Adam Molin
,
Sandra Hirche
Entwurf vernetzter ereignisbasierter Regelungssysteme mit Kommunikationsbeschränkungen.
Autom.
60 (8) (2012)
Adam Molin
,
Henning Tischer
,
Sandra Hirche
Order reduction in optimal event-triggered control design for linear stochastic systems.
ACC
(2011)
Adam Molin
,
Sandra Hirche
Optimal design of decentralized event-triggered controllers for large-scale systems with contention-based communication.
CDC/ECC
(2011)
Adam Molin
,
Sandra Hirche
Structural characterization of optimal event-based controllers for linear stochastic systems.
CDC
(2010)
Adam Molin
,
Sandra Hirche
On LQG joint optimal scheduling and control under communication constraints.
CDC
(2009)
Chih-Chung Chen
,
Adam Molin
,
Sandra Hirche
Guaranteed performance cost control over Quality-of-Service networks.
ECC
(2009)
Johannes Brehmer
,
Adam Molin
,
Pedro Tejera
,
Wolfgang Utschick
A Low Complexity Approximation of the MIMO Broadcast Channel Capacity Region.
ICC
(2006)