Adam Molin

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 17

Top Topics

Formal Specification

Nonlinear Dynamical Systems

Top Venues

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)