CORDIS - EU research results
CORDIS

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

Scientific articles m12

Publications

Outreach m24

Scientific/industrial/public outreach

Scientific articles m24

Scientific articles

Scientific articles m36

Scientific articles

Outreach m12

Scientific/industrial/public outreach

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
Publisher: ELSEVIER
DOI: 10.1016/j.ifacol.2017.08.2451

Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approach * *This work was supported in part by the European Union’s Horizon 2020 Research and Innovation program under grant agreement no. 674875 and by the German Research Foundation (DFG) through the grant ZA 873/1-1.

Author(s): Asad Ullah Awan, Majid Zamani
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 15804-15809, ISSN 2405-8963
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2017.08.2321

Platoon Merging Distance Prediction using a Neural Network Vehicle Speed Model * *The research leading to these results has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 674875., VINNOVA within the FFI program under contract 2014-06200, the Swedish Research Council, Knut and Alice Wallenberg Foundati

Author(s): Mladen Čičić, Kuo-Yun Liang, Karl Henrik Johansson
Published in: IFAC-PapersOnLine, Issue 50/1, 2017, Page(s) 3720-3725, ISSN 2405-8963
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2017.08.569

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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-1-5090-2873-3
Publisher: IEEE
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, ISBN 978-1-5090-4550-1
Publisher: IEEE
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, ISBN 978-1-5386-7377-5
Publisher: IEEE
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
Publisher: IEEE
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, ISBN 978-1-5386-1395-5
Publisher: IEEE
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
Publisher: ELSEVIER
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, ISBN 978-1-5386-7377-5
Publisher: IEEE
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, ISBN 978-1-5386-7377-5
Publisher: IEEE
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, ISBN 978-1-5386-5428-6
Publisher: IEEE
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, ISBN 978-3-9524-2698-2
Publisher: IEEE
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, ISBN 978-1-5386-1395-5
Publisher: IEEE
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
Publisher: RTNS
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
Publisher: RTNS
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, ISBN 978-1-7281-1970-0
Publisher: IEEE
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, ISBN 9783-901608919
Publisher: ARGESIM Publisher Vienna
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
Publisher: IEEE
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, ISBN 9781-450356428
Publisher: ACM Press
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, ISBN 978-1-7281-0323-5
Publisher: IEEE
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, ISBN 978-1-5386-7377-5
Publisher: IEEE
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, ISBN 978-1-5386-7377-5
Publisher: IEEE
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, ISBN 978-1-5386-7377-5
Publisher: IEEE
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
Publisher: IEEE
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
Publisher: IFAC
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, ISBN 978-1-5386-1395-5
Publisher: IEEE
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, ISBN 978-3-95977-102-3
Publisher: 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

Author(s): Asad Ullah Awan, Majid Zamani
Published in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3789-3794, ISBN 978-1-5386-1395-5
Publisher: IEEE
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, ISBN 978-1-7281-1740-9
Publisher: IEEE
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, ISBN 978-3-907144-00-8
Publisher: IEEE
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, ISBN 978-1-7281-0356-3
Publisher: IEEE
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, ISBN 978-1-7281-2954-9
Publisher: IEEE
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, ISBN 978-1-5386-7024-8
Publisher: IEEE
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, ISBN 978-3-907144-00-8
Publisher: IEEE
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, ISBN 9781-450366403
Publisher: ACM Press
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
Publisher: CEUR

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, ISBN 978-1-7281-5165-6
Publisher: IEEE
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
Publisher: Elsevier
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, ISBN 978-91-7873-024-7
Publisher: Stockholm: KTH Royal Institute of Technology

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

Author(s): N. Saraf
Published in: 2019
Publisher: IMT Lucca

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
Publisher: IEEE CONTROL SYSTEMS SOCIETY
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
Publisher: Now Publishers Inc.
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
Publisher: 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

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
Publisher: IEEE
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
Publisher: ArXiv

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available