Skip to main content

Platform-aware Model-driven Optimization of Cyber-Physical Systems

Deliverables

Scientific articles m48

Scientific articles

Outreach m48

Scientific/industrial/public outreach

Outreach m36

Scientific/industrial/public outreach

Outreach m24

Scientific/industrial/public outreach

Scientific articles m24

Scientific articles

Scientific articles m36

Scientific articles

Outreach m12

Scientific/industrial/public outreach

Searching for OpenAIRE data...

Publications

Separation in Coupled Event-Triggered Networked Control Systems * *This project has received funding from the European Union’s Horizon 2020 Framework Programme for Research and Innovation under grant agreement No 674875.

Author(s): Precious Ugo Abara, Sandra Hirche
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 15325-15330, ISSN 2405-8963
DOI: 10.1016/j.ifacol.2017.08.2451

Fast model predictive control based on linear input/output models and bounded-variable least squares

Author(s): Nilay Saraf, Alberto Bemporad
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 1919-1924
DOI: 10.1109/cdc.2017.8263930

Analysis of linear quadratic control loops with decentralized event-triggered sensing: Rate and performance guarantees

Author(s): I. M. Hadi Balaghi, Duarte J. Antunes
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 6702-6707
DOI: 10.1109/cdc.2017.8264669

Compositional abstraction of interconnected control systems under dynamic interconnection topology

Author(s): Asad Ullah Awan, Majid Zamani
Published in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 3543-3550
DOI: 10.1109/cdc.2017.8264179

On a notion of estimation entropy for stochastic hybrid systems

Author(s): Asad Ullah Awan, Majid Zamani
Published in: 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2016, Page(s) 780-785
DOI: 10.1109/allerton.2016.7852312

Optimising Quality-of-Control for Data-Intensive Multiprocessor Image-Based Control Systems Considering Workload Variations

Author(s): Sajid Mohamed, Diqing Zhu, Dip Goswami, Twan Basten
Published in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 320-327
DOI: 10.1109/dsd.2018.00063

An Optimal LQG Controller for Stochastic Event-triggered Scheduling over a Lossy Communication Network

Author(s): M. Hadi Balaghi I., Duarte J. Antunes, Mohammad H. Mamduhi, Sandra Hirche
Published in: IFAC-PapersOnLine, Issue 51/23, 2018, Page(s) 58-63, ISSN 2405-8963
DOI: 10.1016/j.ifacol.2018.12.011

A Decentralized Consistent Policy for Event-triggered Control over a Shared Contention - based Network

Author(s): M. Hadi Balaghi I, Duarte J. Antunes, Mohammad H. Mamduhi, Sandra Hirche
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 1719-1724
DOI: 10.1109/cdc.2018.8619584

Supervisory Control of Timed Discrete-Event Systems Subject to Communication Delays and Non-FIFO Observations

Author(s): Aida Rashidinejad, Michel Reniers, Lei Feng
Published in: IFAC-PapersOnLine, Issue 51/7, 2018, Page(s) 456-463, ISSN 2405-8963
DOI: 10.1016/j.ifacol.2018.06.340

Designing Energy Efficient Approximate Multipliers for Neural Acceleration

Author(s): Sayandip De, Jos Huisken, Henk Corporaal
Published in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 288-295
DOI: 10.1109/dsd.2018.00059

Co-simulation Framework for Control, Communication and Traffic for Vehicle Platoons

Author(s): Amr Ibrahim, Chetan Belagal Math, Dip Goswami, Twan Basten, Hong Li
Published in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 352-356
DOI: 10.1109/dsd.2018.00068

Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies

Author(s): Asad Ullah Awan, Majid Zamani
Published in: 2018 Annual American Control Conference (ACC), 2018, Page(s) 1586-1591
DOI: 10.23919/acc.2018.8431442

Information-Constrained Optimal Control of Distributed Systems with Power Constraints

Author(s): V. Causevic, P. Ugo Abara, S. Hirche
Published in: 2018 European Control Conference (ECC), 2018, Page(s) 1505-1510
DOI: 10.23919/ecc.2018.8550255

Quadratic Invariance for Distributed Control System with Intermittent Observations

Author(s): P. Ugo Abara, V. Causevic, S. Hirche
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 2854-2860
DOI: 10.1109/cdc.2018.8618992

Generalized Offset Based Response Time Analysis

Author(s): Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Published in: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
DOI: 10.18725/oparu-24684

Limiting Potential Level-i idle points for Offset Analysis

Author(s): Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Published in: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
DOI: 10.18725/oparu-24685

A Bird's Eye View on Requirements Engineering and Machine Learning

Author(s): Tahira Iqbal, Parisa Elahidoost, Levi Lucio
Published in: 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 2018, Page(s) 11-20
DOI: 10.1109/apsec.2018.00015

Towards Enabling Heterogeneous Model Inter-Operation across Abstraction Levels

Author(s): Marina Rantanen Modeer, Christian Sonntag, Sebastian Engell
Published in: MATHMOD 2018 Extended Abstract Volume, 2018, Page(s) 105-106
DOI: 10.11128/arep.55.a55272

Integration of Partial Models of Multi-Agent Systems through Abstraction

Author(s): M. Rantanen Modéer, S. Engell
Published in: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
DOI: 10.5281/zenodo.3685863

Modeling the Impact of Vehicle Platooning on Highway Congestion - A Fluid Queuing Approach

Author(s): Li Jin, Mladen Čičič, Saurabh Amin, Karl H. Johansson
Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 237-246
DOI: 10.1145/3178126.3178146

Traffic regulation via individually controlled automated vehicles: a cell transmission model approach

Author(s): Mladen Cicic, Karl Henrik Johansson
Published in: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), 2018, Page(s) 766-771
DOI: 10.1109/itsc.2018.8569960

Design Optimization of Cyber-Physical Systems by Partitioning and Coordination: A Study on Mechatronic Systems

Author(s): Pouya Mahdavipour Vahdati, Lei Feng Feng, Martin Tomgren
Published in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 304-311
DOI: 10.1109/dsd.2018.00061

Resource Management for Mixed-Criticality Systems on Multi-core Platforms with Focus on Communication

Author(s): Robin Arbaud, David Juhasz, Axel Jantsch
Published in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 627-641
DOI: 10.1109/dsd.2018.00108

Trends in On-chip Dynamic Resource Management

Author(s): Kasra Moazzemi, Anil Kanduri, David Juhasz, Antonio Miele, Amir M. Rahmani, Pasi Liljeberg, Axel Jantsch, Nikil Dutt
Published in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 62-69
DOI: 10.1109/dsd.2018.00025

Addressing the Execution Control Problem in Mixed-Criticality Systems

Author(s): Dávid Juhász, Axel Jantsch
Published in: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
DOI: 10.5281/zenodo.3613670

A Fast NMPC Approach based on Bounded-Variable Nonlinear Least Squares

Author(s): Nilay Saraf, Mario Zanon, Alberto Bemporad
Published in: IFAC-PapersOnLine, Issue 51/20, 2018, Page(s) 337-342, ISSN 2405-8963
DOI: 10.1016/j.ifacol.2018.11.056

Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach

Author(s): Asad Ullah Awan, Samuel Coogan, Majid Zamani
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3783-3788
DOI: 10.1109/cdc.2018.8619373

Feasibility Study and Benchmarking of Embedded MPC for Vehicle Platoons

Author(s): Iñaki Martín Soroa, Amr Ibrahim, Dip Goswami, Hong Li
Published in: Workshop on Autonomous Systems Design (ASD 2019), Issue volume =68, 2019, Page(s) 2:1--2:15
DOI: 10.4230/oasics.asd.2019.2

Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach

Author(s): Asad Ullah Awan, Majid Zamani
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3789-3794
DOI: 10.1109/cdc.2018.8619800

IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System

Author(s): Sajid Mohamed, Sayandip De, Konstantinos Bimpisidis, Vishak Nathan, Dip Goswami, Henk Corporaal, Twan Basten
Published in: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Page(s) 1-4
DOI: 10.1109/meco.2019.8760055

Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook

Author(s): Aida Rashidinejad, Bart Wetzels, Michel Reniers, Liyong Lin, Yuting Zhu, Rong Su
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 1732-1739
DOI: 10.23919/ecc.2019.8795849

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting

Author(s): Aida Rashidinejad, Michel Reniers, Martin Fabian
Published in: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 494-501
DOI: 10.1109/coase.2019.8843274

An Automated Approximation Methodology for Arithmetic Circuits

Author(s): Sayandip De, Jos Huisken, Henk Corporaal
Published in: 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), 2019, Page(s) 1-6
DOI: 10.1109/islped.2019.8824974

Control of Platooned Vehicles in Presence of Traffic Shock Waves

Author(s): Amr Ibrahim, Mladen Cicic, Dip Goswami, Twan Basten, Karl Henrik Johansson
Published in: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2019, Page(s) 1727-1734
DOI: 10.1109/itsc.2019.8917389

Energy-optimal platoon catch-up in moving bottleneck framework

Author(s): Mladen Cicic, Karl Henrik Johansson
Published in: 2019 18th European Control Conference (ECC), 2019, Page(s) 3674-3679
DOI: 10.23919/ecc.2019.8795754

Dynamic Constraints for Mixed-Criticality Systems

Author(s): Dávid Juhász, Axel Jantsch
Published in: Proceedings of the International Conference on Omni-Layer Intelligent Systems - COINS '19, 2019, Page(s) 25-30
DOI: 10.1145/3312614.3312625

Towards Automatically Identifying Potential Sustainability Effects of Requirements

Author(s): Iris Groher, Norbert Seyff, Tahira Iqbal
Published in: Proceedings of the 8th International Workshop on Requirements Engineering for Sustainable Systems co-located with 27th International Conference on Requirements Engineering (RE 2019), 2019

Generating Requirements Out of Thin Air: Towards Automated Feature Identification for New Apps

Author(s): Tahira Iqbal, Norbert Seyff, Daniel Mendez
Published in: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), 2019, Page(s) 193-199
DOI: 10.1109/rew.2019.00040

Compensating Signal Loss in RFID-Based Localization Systems

Author(s): Marina Rantanen Modeer, Stephan Vette, Sebastian Engell
Published in: IFAC-PapersOnLine, Issue 52/8, 2019, Page(s) 142-147, ISSN 2405-8963
DOI: 10.1016/j.ifacol.2019.08.062

Control of vehicle platoons and traffic dynamics: catch-up coordination and congestion dissipation

Author(s): Čičić, Mladen
Published in: 2019

Bounded-variable least-squares methods for linear and nonlinear model predictive control, dissertation

Author(s): N. Saraf
Published in: 2019

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Author(s): Asad Ullah Awan, Majid Zamani
Published in: IEEE Transactions on Control of Network Systems, 2019, Page(s) 1-1, ISSN 2325-5870
DOI: 10.1109/tcns.2019.2923387

On-Chip Dynamic Resource Managemen

Author(s): Antonio Miele, Anil Kanduri, Kasra Moazzemi, Dávid Juhász, Amir R. Rahmani, Nikil Dutt, Pasi Liljeberg, Axel Jantsch
Published in: Foundations and Trends® in Electronic Design Automation, Issue 13/1-2, 2019, Page(s) 1-144, ISSN 1551-3939
DOI: 10.1561/1000000055

A bounded-variable least-squares solver based on stable QR updates

Author(s): Nilay Saraf, Alberto Bemporad
Published in: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
DOI: 10.1109/tac.2019.2925501

Consistent Event-Triggered Control for Discrete-Time Linear Systems With Partial State Information

Author(s): Duarte J. Antunes, M. H. Balaghi I.
Published in: IEEE Control Systems Letters, Issue 4/1, 2020, Page(s) 181-186, ISSN 2475-1456
DOI: 10.1109/lcsys.2019.2922187

An efficient non-condensed approach for linear and nonlinear model predictive control with bounded variables

Author(s): Nilay Saraf, Alberto Bemporad
Published in: 2019