European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

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

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

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, Edición 50/1, 2017, Página(s) 15325-15330, ISSN 2405-8963
Editor: 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.

Autores: Asad Ullah Awan, Majid Zamani
Publicado en: IFAC-PapersOnLine, Edición 50/1, 2017, Página(s) 15804-15809, ISSN 2405-8963
Editor: 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

Autores: Mladen Čičić, Kuo-Yun Liang, Karl Henrik Johansson
Publicado en: IFAC-PapersOnLine, Edición 50/1, 2017, Página(s) 3720-3725, ISSN 2405-8963
Editor: Elsevier
DOI: 10.1016/j.ifacol.2017.08.569

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, Página(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, Página(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, Página(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, Página(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, Página(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, Edición 51/23, 2018, Página(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, Página(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, Edición 51/7, 2018, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Edición 51/20, 2018, Página(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, Página(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), Edición volume =68, 2019, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Página(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, Edición 52/8, 2019, Página(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, Página(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, Edición 13/1-2, 2019, Página(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, Página(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, Edición 4/1, 2020, Página(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

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles