Skip to main content

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

Resultado final

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

Publicaciones

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.

Autores: Precious Ugo Abara, Sandra Hirche
Publicado en: IFAC-PapersOnLine, 50/1, 2017, Page(s) 15325-15330, ISSN 2405-8963
Editor: ELSEVIER
DOI: 10.1016/j.ifacol.2017.08.2451

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

Autores: Nilay Saraf, Alberto Bemporad
Publicado en: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 1919-1924, ISBN 978-1-5090-2873-3
Editor: IEEE
DOI: 10.1109/cdc.2017.8263930

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

Autores: I. M. Hadi Balaghi, Duarte J. Antunes
Publicado en: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 6702-6707, ISBN 978-1-5090-2873-3
Editor: IEEE
DOI: 10.1109/cdc.2017.8264669

Compositional abstraction of interconnected control systems under dynamic interconnection topology

Autores: Asad Ullah Awan, Majid Zamani
Publicado en: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 3543-3550, ISBN 978-1-5090-2873-3
Editor: IEEE
DOI: 10.1109/cdc.2017.8264179

On a notion of estimation entropy for stochastic hybrid systems

Autores: Asad Ullah Awan, Majid Zamani
Publicado en: 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2016, Page(s) 780-785, ISBN 978-1-5090-4550-1
Editor: IEEE
DOI: 10.1109/allerton.2016.7852312

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

Autores: Sajid Mohamed, Diqing Zhu, Dip Goswami, Twan Basten
Publicado en: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 320-327, ISBN 978-1-5386-7377-5
Editor: IEEE
DOI: 10.1109/dsd.2018.00063

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

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

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

Autores: M. Hadi Balaghi I, Duarte J. Antunes, Mohammad H. Mamduhi, Sandra Hirche
Publicado en: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 1719-1724, ISBN 978-1-5386-1395-5
Editor: IEEE
DOI: 10.1109/cdc.2018.8619584

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

Autores: Aida Rashidinejad, Michel Reniers, Lei Feng
Publicado en: IFAC-PapersOnLine, 51/7, 2018, Page(s) 456-463, ISSN 2405-8963
Editor: ELSEVIER
DOI: 10.1016/j.ifacol.2018.06.340

Designing Energy Efficient Approximate Multipliers for Neural Acceleration

Autores: Sayandip De, Jos Huisken, Henk Corporaal
Publicado en: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 288-295, ISBN 978-1-5386-7377-5
Editor: IEEE
DOI: 10.1109/dsd.2018.00059

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

Autores: Amr Ibrahim, Chetan Belagal Math, Dip Goswami, Twan Basten, Hong Li
Publicado en: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 352-356, ISBN 978-1-5386-7377-5
Editor: IEEE
DOI: 10.1109/dsd.2018.00068

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

Autores: Asad Ullah Awan, Majid Zamani
Publicado en: 2018 Annual American Control Conference (ACC), 2018, Page(s) 1586-1591, ISBN 978-1-5386-5428-6
Editor: IEEE
DOI: 10.23919/acc.2018.8431442

Information-Constrained Optimal Control of Distributed Systems with Power Constraints

Autores: V. Causevic, P. Ugo Abara, S. Hirche
Publicado en: 2018 European Control Conference (ECC), 2018, Page(s) 1505-1510, ISBN 978-3-9524-2698-2
Editor: IEEE
DOI: 10.23919/ecc.2018.8550255

Quadratic Invariance for Distributed Control System with Intermittent Observations

Autores: P. Ugo Abara, V. Causevic, S. Hirche
Publicado en: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 2854-2860, ISBN 978-1-5386-1395-5
Editor: IEEE
DOI: 10.1109/cdc.2018.8618992

Generalized Offset Based Response Time Analysis

Autores: Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Publicado en: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
Editor: RTNS
DOI: 10.18725/oparu-24684

Limiting Potential Level-i idle points for Offset Analysis

Autores: Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Publicado en: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
Editor: RTNS
DOI: 10.18725/oparu-24685

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

Autores: Tahira Iqbal, Parisa Elahidoost, Levi Lucio
Publicado en: 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 2018, Page(s) 11-20, ISBN 978-1-7281-1970-0
Editor: IEEE
DOI: 10.1109/apsec.2018.00015

Towards Enabling Heterogeneous Model Inter-Operation across Abstraction Levels

Autores: Marina Rantanen Modeer, Christian Sonntag, Sebastian Engell
Publicado en: MATHMOD 2018 Extended Abstract Volume, 2018, Page(s) 105-106, ISBN 9783-901608919
Editor: ARGESIM Publisher Vienna
DOI: 10.11128/arep.55.a55272

Integration of Partial Models of Multi-Agent Systems through Abstraction

Autores: M. Rantanen Modéer, S. Engell
Publicado en: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
Editor: IEEE
DOI: 10.5281/zenodo.3685863

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

Autores: Li Jin, Mladen Čičič, Saurabh Amin, Karl H. Johansson
Publicado en: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18, 2018, Page(s) 237-246, ISBN 9781-450356428
Editor: ACM Press
DOI: 10.1145/3178126.3178146

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

Autores: Mladen Cicic, Karl Henrik Johansson
Publicado en: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), 2018, Page(s) 766-771, ISBN 978-1-7281-0323-5
Editor: IEEE
DOI: 10.1109/itsc.2018.8569960

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

Autores: Pouya Mahdavipour Vahdati, Lei Feng Feng, Martin Tomgren
Publicado en: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 304-311, ISBN 978-1-5386-7377-5
Editor: IEEE
DOI: 10.1109/dsd.2018.00061

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

Autores: Robin Arbaud, David Juhasz, Axel Jantsch
Publicado en: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 627-641, ISBN 978-1-5386-7377-5
Editor: IEEE
DOI: 10.1109/dsd.2018.00108

Trends in On-chip Dynamic Resource Management

Autores: Kasra Moazzemi, Anil Kanduri, David Juhasz, Antonio Miele, Amir M. Rahmani, Pasi Liljeberg, Axel Jantsch, Nikil Dutt
Publicado en: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 62-69, ISBN 978-1-5386-7377-5
Editor: IEEE
DOI: 10.1109/dsd.2018.00025

Addressing the Execution Control Problem in Mixed-Criticality Systems

Autores: Dávid Juhász, Axel Jantsch
Publicado en: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
Editor: IEEE
DOI: 10.5281/zenodo.3613670

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

Autores: Nilay Saraf, Mario Zanon, Alberto Bemporad
Publicado en: IFAC-PapersOnLine, 51/20, 2018, Page(s) 337-342, ISSN 2405-8963
Editor: IFAC
DOI: 10.1016/j.ifacol.2018.11.056

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

Autores: Asad Ullah Awan, Samuel Coogan, Majid Zamani
Publicado en: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3783-3788, ISBN 978-1-5386-1395-5
Editor: IEEE
DOI: 10.1109/cdc.2018.8619373

Feasibility Study and Benchmarking of Embedded MPC for Vehicle Platoons

Autores: Iñaki Martín Soroa, Amr Ibrahim, Dip Goswami, Hong Li
Publicado en: Workshop on Autonomous Systems Design (ASD 2019), volume =68, 2019, Page(s) 2:1--2:15, ISBN 978-3-95977-102-3
Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/oasics.asd.2019.2

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

Autores: Asad Ullah Awan, Majid Zamani
Publicado en: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3789-3794, ISBN 978-1-5386-1395-5
Editor: IEEE
DOI: 10.1109/cdc.2018.8619800

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

Autores: Sajid Mohamed, Sayandip De, Konstantinos Bimpisidis, Vishak Nathan, Dip Goswami, Henk Corporaal, Twan Basten
Publicado en: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Page(s) 1-4, ISBN 978-1-7281-1740-9
Editor: IEEE
DOI: 10.1109/meco.2019.8760055

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

Autores: Aida Rashidinejad, Bart Wetzels, Michel Reniers, Liyong Lin, Yuting Zhu, Rong Su
Publicado en: 2019 18th European Control Conference (ECC), 2019, Page(s) 1732-1739, ISBN 978-3-907144-00-8
Editor: IEEE
DOI: 10.23919/ecc.2019.8795849

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting

Autores: Aida Rashidinejad, Michel Reniers, Martin Fabian
Publicado en: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 494-501, ISBN 978-1-7281-0356-3
Editor: IEEE
DOI: 10.1109/coase.2019.8843274

An Automated Approximation Methodology for Arithmetic Circuits

Autores: Sayandip De, Jos Huisken, Henk Corporaal
Publicado en: 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), 2019, Page(s) 1-6, ISBN 978-1-7281-2954-9
Editor: IEEE
DOI: 10.1109/islped.2019.8824974

Control of Platooned Vehicles in Presence of Traffic Shock Waves

Autores: Amr Ibrahim, Mladen Cicic, Dip Goswami, Twan Basten, Karl Henrik Johansson
Publicado en: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2019, Page(s) 1727-1734, ISBN 978-1-5386-7024-8
Editor: IEEE
DOI: 10.1109/itsc.2019.8917389

Energy-optimal platoon catch-up in moving bottleneck framework

Autores: Mladen Cicic, Karl Henrik Johansson
Publicado en: 2019 18th European Control Conference (ECC), 2019, Page(s) 3674-3679, ISBN 978-3-907144-00-8
Editor: IEEE
DOI: 10.23919/ecc.2019.8795754

Dynamic Constraints for Mixed-Criticality Systems

Autores: Dávid Juhász, Axel Jantsch
Publicado en: Proceedings of the International Conference on Omni-Layer Intelligent Systems - COINS '19, 2019, Page(s) 25-30, ISBN 9781-450366403
Editor: ACM Press
DOI: 10.1145/3312614.3312625

Towards Automatically Identifying Potential Sustainability Effects of Requirements

Autores: Iris Groher, Norbert Seyff, Tahira Iqbal
Publicado en: Proceedings of the 8th International Workshop on Requirements Engineering for Sustainable Systems co-located with 27th International Conference on Requirements Engineering (RE 2019), 2019
Editor: CEUR

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

Autores: Tahira Iqbal, Norbert Seyff, Daniel Mendez
Publicado en: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), 2019, Page(s) 193-199, ISBN 978-1-7281-5165-6
Editor: IEEE
DOI: 10.1109/rew.2019.00040

Compensating Signal Loss in RFID-Based Localization Systems

Autores: Marina Rantanen Modeer, Stephan Vette, Sebastian Engell
Publicado en: IFAC-PapersOnLine, 52/8, 2019, Page(s) 142-147, ISSN 2405-8963
Editor: Elsevier
DOI: 10.1016/j.ifacol.2019.08.062

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

Autores: Čičić, Mladen
Publicado en: 2019, ISBN 978-91-7873-024-7
Editor: Stockholm: KTH Royal Institute of Technology

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

Autores: N. Saraf
Publicado en: 2019
Editor: IMT Lucca

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Autores: Asad Ullah Awan, Majid Zamani
Publicado en: IEEE Transactions on Control of Network Systems, 2019, Page(s) 1-1, ISSN 2325-5870
Editor: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2019.2923387

On-Chip Dynamic Resource Managemen

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

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

Autores: Nilay Saraf, Alberto Bemporad
Publicado en: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2019.2925501

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

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

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

Autores: Nilay Saraf, Alberto Bemporad
Publicado en: 2019
Editor: ArXiv