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

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

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

Recruitment packages

Recruitment

Recruited researchers

Recruitment

Customizable tool chains

Tools

Pubblicazioni

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.

Autori: Precious Ugo Abara, Sandra Hirche
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 15325-15330, ISSN 2405-8963
Editore: 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.

Autori: Asad Ullah Awan, Majid Zamani
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 15804-15809, ISSN 2405-8963
Editore: 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

Autori: Mladen Čičić, Kuo-Yun Liang, Karl Henrik Johansson
Pubblicato in: IFAC-PapersOnLine, Numero 50/1, 2017, Pagina/e 3720-3725, ISSN 2405-8963
Editore: Elsevier
DOI: 10.1016/j.ifacol.2017.08.569

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

Autori: Nilay Saraf, Alberto Bemporad
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 1919-1924, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8263930

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

Autori: I. M. Hadi Balaghi, Duarte J. Antunes
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 6702-6707, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8264669

Compositional abstraction of interconnected control systems under dynamic interconnection topology

Autori: Asad Ullah Awan, Majid Zamani
Pubblicato in: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Pagina/e 3543-3550, ISBN 978-1-5090-2873-3
Editore: IEEE
DOI: 10.1109/cdc.2017.8264179

On a notion of estimation entropy for stochastic hybrid systems

Autori: Asad Ullah Awan, Majid Zamani
Pubblicato in: 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2016, Pagina/e 780-785, ISBN 978-1-5090-4550-1
Editore: IEEE
DOI: 10.1109/allerton.2016.7852312

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

Autori: Sajid Mohamed, Diqing Zhu, Dip Goswami, Twan Basten
Pubblicato in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Pagina/e 320-327, ISBN 978-1-5386-7377-5
Editore: IEEE
DOI: 10.1109/dsd.2018.00063

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

Autori: M. Hadi Balaghi I., Duarte J. Antunes, Mohammad H. Mamduhi, Sandra Hirche
Pubblicato in: IFAC-PapersOnLine, Numero 51/23, 2018, Pagina/e 58-63, ISSN 2405-8963
Editore: IEEE
DOI: 10.1016/j.ifacol.2018.12.011

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

Autori: M. Hadi Balaghi I, Duarte J. Antunes, Mohammad H. Mamduhi, Sandra Hirche
Pubblicato in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Pagina/e 1719-1724, ISBN 978-1-5386-1395-5
Editore: IEEE
DOI: 10.1109/cdc.2018.8619584

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

Autori: Aida Rashidinejad, Michel Reniers, Lei Feng
Pubblicato in: IFAC-PapersOnLine, Numero 51/7, 2018, Pagina/e 456-463, ISSN 2405-8963
Editore: ELSEVIER
DOI: 10.1016/j.ifacol.2018.06.340

Designing Energy Efficient Approximate Multipliers for Neural Acceleration

Autori: Sayandip De, Jos Huisken, Henk Corporaal
Pubblicato in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Pagina/e 288-295, ISBN 978-1-5386-7377-5
Editore: IEEE
DOI: 10.1109/dsd.2018.00059

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

Autori: Amr Ibrahim, Chetan Belagal Math, Dip Goswami, Twan Basten, Hong Li
Pubblicato in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Pagina/e 352-356, ISBN 978-1-5386-7377-5
Editore: IEEE
DOI: 10.1109/dsd.2018.00068

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

Autori: Asad Ullah Awan, Majid Zamani
Pubblicato in: 2018 Annual American Control Conference (ACC), 2018, Pagina/e 1586-1591, ISBN 978-1-5386-5428-6
Editore: IEEE
DOI: 10.23919/acc.2018.8431442

Information-Constrained Optimal Control of Distributed Systems with Power Constraints

Autori: V. Causevic, P. Ugo Abara, S. Hirche
Pubblicato in: 2018 European Control Conference (ECC), 2018, Pagina/e 1505-1510, ISBN 978-3-9524-2698-2
Editore: IEEE
DOI: 10.23919/ecc.2018.8550255

Quadratic Invariance for Distributed Control System with Intermittent Observations

Autori: P. Ugo Abara, V. Causevic, S. Hirche
Pubblicato in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Pagina/e 2854-2860, ISBN 978-1-5386-1395-5
Editore: IEEE
DOI: 10.1109/cdc.2018.8618992

Generalized Offset Based Response Time Analysis

Autori: Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Pubblicato in: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
Editore: RTNS
DOI: 10.18725/oparu-24684

Limiting Potential Level-i idle points for Offset Analysis

Autori: Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Pubblicato in: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
Editore: RTNS
DOI: 10.18725/oparu-24685

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

Autori: Tahira Iqbal, Parisa Elahidoost, Levi Lucio
Pubblicato in: 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 2018, Pagina/e 11-20, ISBN 978-1-7281-1970-0
Editore: IEEE
DOI: 10.1109/apsec.2018.00015

Towards Enabling Heterogeneous Model Inter-Operation across Abstraction Levels

Autori: Marina Rantanen Modeer, Christian Sonntag, Sebastian Engell
Pubblicato in: MATHMOD 2018 Extended Abstract Volume, 2018, Pagina/e 105-106, ISBN 9783-901608919
Editore: ARGESIM Publisher Vienna
DOI: 10.11128/arep.55.a55272

Integration of Partial Models of Multi-Agent Systems through Abstraction

Autori: M. Rantanen Modéer, S. Engell
Pubblicato in: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
Editore: IEEE
DOI: 10.5281/zenodo.3685863

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

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

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

Autori: Mladen Cicic, Karl Henrik Johansson
Pubblicato in: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), 2018, Pagina/e 766-771, ISBN 978-1-7281-0323-5
Editore: IEEE
DOI: 10.1109/itsc.2018.8569960

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

Autori: Pouya Mahdavipour Vahdati, Lei Feng Feng, Martin Tomgren
Pubblicato in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Pagina/e 304-311, ISBN 978-1-5386-7377-5
Editore: IEEE
DOI: 10.1109/dsd.2018.00061

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

Autori: Robin Arbaud, David Juhasz, Axel Jantsch
Pubblicato in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Pagina/e 627-641, ISBN 978-1-5386-7377-5
Editore: IEEE
DOI: 10.1109/dsd.2018.00108

Trends in On-chip Dynamic Resource Management

Autori: Kasra Moazzemi, Anil Kanduri, David Juhasz, Antonio Miele, Amir M. Rahmani, Pasi Liljeberg, Axel Jantsch, Nikil Dutt
Pubblicato in: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Pagina/e 62-69, ISBN 978-1-5386-7377-5
Editore: IEEE
DOI: 10.1109/dsd.2018.00025

Addressing the Execution Control Problem in Mixed-Criticality Systems

Autori: Dávid Juhász, Axel Jantsch
Pubblicato in: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
Editore: IEEE
DOI: 10.5281/zenodo.3613670

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

Autori: Nilay Saraf, Mario Zanon, Alberto Bemporad
Pubblicato in: IFAC-PapersOnLine, Numero 51/20, 2018, Pagina/e 337-342, ISSN 2405-8963
Editore: IFAC
DOI: 10.1016/j.ifacol.2018.11.056

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

Autori: Asad Ullah Awan, Samuel Coogan, Majid Zamani
Pubblicato in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Pagina/e 3783-3788, ISBN 978-1-5386-1395-5
Editore: IEEE
DOI: 10.1109/cdc.2018.8619373

Feasibility Study and Benchmarking of Embedded MPC for Vehicle Platoons

Autori: Iñaki Martín Soroa, Amr Ibrahim, Dip Goswami, Hong Li
Pubblicato in: Workshop on Autonomous Systems Design (ASD 2019), Numero volume =68, 2019, Pagina/e 2:1--2:15, ISBN 978-3-95977-102-3
Editore: 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

Autori: Asad Ullah Awan, Majid Zamani
Pubblicato in: 2018 IEEE Conference on Decision and Control (CDC), 2018, Pagina/e 3789-3794, ISBN 978-1-5386-1395-5
Editore: IEEE
DOI: 10.1109/cdc.2018.8619800

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

Autori: Sajid Mohamed, Sayandip De, Konstantinos Bimpisidis, Vishak Nathan, Dip Goswami, Henk Corporaal, Twan Basten
Pubblicato in: 2019 8th Mediterranean Conference on Embedded Computing (MECO), 2019, Pagina/e 1-4, ISBN 978-1-7281-1740-9
Editore: IEEE
DOI: 10.1109/meco.2019.8760055

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

Autori: Aida Rashidinejad, Bart Wetzels, Michel Reniers, Liyong Lin, Yuting Zhu, Rong Su
Pubblicato in: 2019 18th European Control Conference (ECC), 2019, Pagina/e 1732-1739, ISBN 978-3-907144-00-8
Editore: IEEE
DOI: 10.23919/ecc.2019.8795849

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting

Autori: Aida Rashidinejad, Michel Reniers, Martin Fabian
Pubblicato in: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Pagina/e 494-501, ISBN 978-1-7281-0356-3
Editore: IEEE
DOI: 10.1109/coase.2019.8843274

An Automated Approximation Methodology for Arithmetic Circuits

Autori: Sayandip De, Jos Huisken, Henk Corporaal
Pubblicato in: 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), 2019, Pagina/e 1-6, ISBN 978-1-7281-2954-9
Editore: IEEE
DOI: 10.1109/islped.2019.8824974

Control of Platooned Vehicles in Presence of Traffic Shock Waves

Autori: Amr Ibrahim, Mladen Cicic, Dip Goswami, Twan Basten, Karl Henrik Johansson
Pubblicato in: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2019, Pagina/e 1727-1734, ISBN 978-1-5386-7024-8
Editore: IEEE
DOI: 10.1109/itsc.2019.8917389

Energy-optimal platoon catch-up in moving bottleneck framework

Autori: Mladen Cicic, Karl Henrik Johansson
Pubblicato in: 2019 18th European Control Conference (ECC), 2019, Pagina/e 3674-3679, ISBN 978-3-907144-00-8
Editore: IEEE
DOI: 10.23919/ecc.2019.8795754

Dynamic Constraints for Mixed-Criticality Systems

Autori: Dávid Juhász, Axel Jantsch
Pubblicato in: Proceedings of the International Conference on Omni-Layer Intelligent Systems - COINS '19, 2019, Pagina/e 25-30, ISBN 9781-450366403
Editore: ACM Press
DOI: 10.1145/3312614.3312625

Towards Automatically Identifying Potential Sustainability Effects of Requirements

Autori: Iris Groher, Norbert Seyff, Tahira Iqbal
Pubblicato 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
Editore: CEUR

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

Autori: Tahira Iqbal, Norbert Seyff, Daniel Mendez
Pubblicato in: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), 2019, Pagina/e 193-199, ISBN 978-1-7281-5165-6
Editore: IEEE
DOI: 10.1109/rew.2019.00040

Compensating Signal Loss in RFID-Based Localization Systems

Autori: Marina Rantanen Modeer, Stephan Vette, Sebastian Engell
Pubblicato in: IFAC-PapersOnLine, Numero 52/8, 2019, Pagina/e 142-147, ISSN 2405-8963
Editore: Elsevier
DOI: 10.1016/j.ifacol.2019.08.062

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

Autori: Čičić, Mladen
Pubblicato in: 2019, ISBN 978-91-7873-024-7
Editore: Stockholm: KTH Royal Institute of Technology

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

Autori: N. Saraf
Pubblicato in: 2019
Editore: IMT Lucca

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Autori: Asad Ullah Awan, Majid Zamani
Pubblicato in: IEEE Transactions on Control of Network Systems, 2019, Pagina/e 1-1, ISSN 2325-5870
Editore: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2019.2923387

On-Chip Dynamic Resource Managemen

Autori: Antonio Miele, Anil Kanduri, Kasra Moazzemi, Dávid Juhász, Amir R. Rahmani, Nikil Dutt, Pasi Liljeberg, Axel Jantsch
Pubblicato in: Foundations and Trends® in Electronic Design Automation, Numero 13/1-2, 2019, Pagina/e 1-144, ISSN 1551-3939
Editore: Now Publishers Inc.
DOI: 10.1561/1000000055

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

Autori: Nilay Saraf, Alberto Bemporad
Pubblicato in: IEEE Transactions on Automatic Control, 2019, Pagina/e 1-1, ISSN 0018-9286
Editore: 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

Autori: Duarte J. Antunes, M. H. Balaghi I.
Pubblicato in: IEEE Control Systems Letters, Numero 4/1, 2020, Pagina/e 181-186, ISSN 2475-1456
Editore: IEEE
DOI: 10.1109/lcsys.2019.2922187

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

Autori: Nilay Saraf, Alberto Bemporad
Pubblicato in: 2019
Editore: ArXiv

È in corso la ricerca di dati su OpenAIRE...

Risultati finali

Pubblicazioni

Condividi questa pagina

Scarica