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

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.

Auteurs: Precious Ugo Abara, Sandra Hirche
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 15325-15330, ISSN 2405-8963
Éditeur: 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.

Auteurs: Asad Ullah Awan, Majid Zamani
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 15804-15809, ISSN 2405-8963
Éditeur: 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

Auteurs: Mladen Čičić, Kuo-Yun Liang, Karl Henrik Johansson
Publié dans: IFAC-PapersOnLine, Numéro 50/1, 2017, Page(s) 3720-3725, ISSN 2405-8963
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2017.08.569

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

Auteurs: Nilay Saraf, Alberto Bemporad
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 1919-1924, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8263930

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

Auteurs: I. M. Hadi Balaghi, Duarte J. Antunes
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 6702-6707, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8264669

Compositional abstraction of interconnected control systems under dynamic interconnection topology

Auteurs: Asad Ullah Awan, Majid Zamani
Publié dans: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Page(s) 3543-3550, ISBN 978-1-5090-2873-3
Éditeur: IEEE
DOI: 10.1109/cdc.2017.8264179

On a notion of estimation entropy for stochastic hybrid systems

Auteurs: Asad Ullah Awan, Majid Zamani
Publié dans: 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2016, Page(s) 780-785, ISBN 978-1-5090-4550-1
Éditeur: IEEE
DOI: 10.1109/allerton.2016.7852312

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

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

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

Auteurs: M. Hadi Balaghi I., Duarte J. Antunes, Mohammad H. Mamduhi, Sandra Hirche
Publié dans: IFAC-PapersOnLine, Numéro 51/23, 2018, Page(s) 58-63, ISSN 2405-8963
Éditeur: IEEE
DOI: 10.1016/j.ifacol.2018.12.011

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

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

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

Auteurs: Aida Rashidinejad, Michel Reniers, Lei Feng
Publié dans: IFAC-PapersOnLine, Numéro 51/7, 2018, Page(s) 456-463, ISSN 2405-8963
Éditeur: ELSEVIER
DOI: 10.1016/j.ifacol.2018.06.340

Designing Energy Efficient Approximate Multipliers for Neural Acceleration

Auteurs: Sayandip De, Jos Huisken, Henk Corporaal
Publié dans: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 288-295, ISBN 978-1-5386-7377-5
Éditeur: IEEE
DOI: 10.1109/dsd.2018.00059

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

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

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

Auteurs: Asad Ullah Awan, Majid Zamani
Publié dans: 2018 Annual American Control Conference (ACC), 2018, Page(s) 1586-1591, ISBN 978-1-5386-5428-6
Éditeur: IEEE
DOI: 10.23919/acc.2018.8431442

Information-Constrained Optimal Control of Distributed Systems with Power Constraints

Auteurs: V. Causevic, P. Ugo Abara, S. Hirche
Publié dans: 2018 European Control Conference (ECC), 2018, Page(s) 1505-1510, ISBN 978-3-9524-2698-2
Éditeur: IEEE
DOI: 10.23919/ecc.2018.8550255

Quadratic Invariance for Distributed Control System with Intermittent Observations

Auteurs: P. Ugo Abara, V. Causevic, S. Hirche
Publié dans: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 2854-2860, ISBN 978-1-5386-1395-5
Éditeur: IEEE
DOI: 10.1109/cdc.2018.8618992

Generalized Offset Based Response Time Analysis

Auteurs: Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Publié dans: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
Éditeur: RTNS
DOI: 10.18725/oparu-24684

Limiting Potential Level-i idle points for Offset Analysis

Auteurs: Deepak Vedha Raj Sudhakar, Karsten Albers, Frank Slomka
Publié dans: Proceedings of the 12th Junior Researcher Workshop on Real-Time Computing, 2018
Éditeur: RTNS
DOI: 10.18725/oparu-24685

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

Auteurs: Tahira Iqbal, Parisa Elahidoost, Levi Lucio
Publié dans: 2018 25th Asia-Pacific Software Engineering Conference (APSEC), 2018, Page(s) 11-20, ISBN 978-1-7281-1970-0
Éditeur: IEEE
DOI: 10.1109/apsec.2018.00015

Towards Enabling Heterogeneous Model Inter-Operation across Abstraction Levels

Auteurs: Marina Rantanen Modeer, Christian Sonntag, Sebastian Engell
Publié dans: MATHMOD 2018 Extended Abstract Volume, 2018, Page(s) 105-106, ISBN 9783-901608919
Éditeur: ARGESIM Publisher Vienna
DOI: 10.11128/arep.55.a55272

Integration of Partial Models of Multi-Agent Systems through Abstraction

Auteurs: M. Rantanen Modéer, S. Engell
Publié dans: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
Éditeur: IEEE
DOI: 10.5281/zenodo.3685863

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

Auteurs: Li Jin, Mladen Čičič, Saurabh Amin, Karl H. Johansson
Publié dans: 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
Éditeur: ACM Press
DOI: 10.1145/3178126.3178146

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

Auteurs: Mladen Cicic, Karl Henrik Johansson
Publié dans: 2018 21st International Conference on Intelligent Transportation Systems (ITSC), 2018, Page(s) 766-771, ISBN 978-1-7281-0323-5
Éditeur: IEEE
DOI: 10.1109/itsc.2018.8569960

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

Auteurs: Pouya Mahdavipour Vahdati, Lei Feng Feng, Martin Tomgren
Publié dans: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 304-311, ISBN 978-1-5386-7377-5
Éditeur: IEEE
DOI: 10.1109/dsd.2018.00061

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

Auteurs: Robin Arbaud, David Juhasz, Axel Jantsch
Publié dans: 2018 21st Euromicro Conference on Digital System Design (DSD), 2018, Page(s) 627-641, ISBN 978-1-5386-7377-5
Éditeur: IEEE
DOI: 10.1109/dsd.2018.00108

Trends in On-chip Dynamic Resource Management

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

Addressing the Execution Control Problem in Mixed-Criticality Systems

Auteurs: Dávid Juhász, Axel Jantsch
Publié dans: Proceedings of the 21st Euromicro Conference on Digital Systems Design, 2018
Éditeur: IEEE
DOI: 10.5281/zenodo.3613670

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

Auteurs: Nilay Saraf, Mario Zanon, Alberto Bemporad
Publié dans: IFAC-PapersOnLine, Numéro 51/20, 2018, Page(s) 337-342, ISSN 2405-8963
Éditeur: IFAC
DOI: 10.1016/j.ifacol.2018.11.056

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

Auteurs: Asad Ullah Awan, Samuel Coogan, Majid Zamani
Publié dans: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3783-3788, ISBN 978-1-5386-1395-5
Éditeur: IEEE
DOI: 10.1109/cdc.2018.8619373

Feasibility Study and Benchmarking of Embedded MPC for Vehicle Platoons

Auteurs: Iñaki Martín Soroa, Amr Ibrahim, Dip Goswami, Hong Li
Publié dans: Workshop on Autonomous Systems Design (ASD 2019), Numéro volume =68, 2019, Page(s) 2:1--2:15, ISBN 978-3-95977-102-3
Éditeur: 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

Auteurs: Asad Ullah Awan, Majid Zamani
Publié dans: 2018 IEEE Conference on Decision and Control (CDC), 2018, Page(s) 3789-3794, ISBN 978-1-5386-1395-5
Éditeur: IEEE
DOI: 10.1109/cdc.2018.8619800

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

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

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

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

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting

Auteurs: Aida Rashidinejad, Michel Reniers, Martin Fabian
Publié dans: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019, Page(s) 494-501, ISBN 978-1-7281-0356-3
Éditeur: IEEE
DOI: 10.1109/coase.2019.8843274

An Automated Approximation Methodology for Arithmetic Circuits

Auteurs: Sayandip De, Jos Huisken, Henk Corporaal
Publié dans: 2019 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED), 2019, Page(s) 1-6, ISBN 978-1-7281-2954-9
Éditeur: IEEE
DOI: 10.1109/islped.2019.8824974

Control of Platooned Vehicles in Presence of Traffic Shock Waves

Auteurs: Amr Ibrahim, Mladen Cicic, Dip Goswami, Twan Basten, Karl Henrik Johansson
Publié dans: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2019, Page(s) 1727-1734, ISBN 978-1-5386-7024-8
Éditeur: IEEE
DOI: 10.1109/itsc.2019.8917389

Energy-optimal platoon catch-up in moving bottleneck framework

Auteurs: Mladen Cicic, Karl Henrik Johansson
Publié dans: 2019 18th European Control Conference (ECC), 2019, Page(s) 3674-3679, ISBN 978-3-907144-00-8
Éditeur: IEEE
DOI: 10.23919/ecc.2019.8795754

Dynamic Constraints for Mixed-Criticality Systems

Auteurs: Dávid Juhász, Axel Jantsch
Publié dans: Proceedings of the International Conference on Omni-Layer Intelligent Systems - COINS '19, 2019, Page(s) 25-30, ISBN 9781-450366403
Éditeur: ACM Press
DOI: 10.1145/3312614.3312625

Towards Automatically Identifying Potential Sustainability Effects of Requirements

Auteurs: Iris Groher, Norbert Seyff, Tahira Iqbal
Publié dans: Proceedings of the 8th International Workshop on Requirements Engineering for Sustainable Systems co-located with 27th International Conference on Requirements Engineering (RE 2019), 2019
Éditeur: CEUR

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

Auteurs: Tahira Iqbal, Norbert Seyff, Daniel Mendez
Publié dans: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), 2019, Page(s) 193-199, ISBN 978-1-7281-5165-6
Éditeur: IEEE
DOI: 10.1109/rew.2019.00040

Compensating Signal Loss in RFID-Based Localization Systems

Auteurs: Marina Rantanen Modeer, Stephan Vette, Sebastian Engell
Publié dans: IFAC-PapersOnLine, Numéro 52/8, 2019, Page(s) 142-147, ISSN 2405-8963
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2019.08.062

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

Auteurs: Čičić, Mladen
Publié dans: 2019, ISBN 978-91-7873-024-7
Éditeur: Stockholm: KTH Royal Institute of Technology

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

Auteurs: N. Saraf
Publié dans: 2019
Éditeur: IMT Lucca

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems

Auteurs: Asad Ullah Awan, Majid Zamani
Publié dans: IEEE Transactions on Control of Network Systems, 2019, Page(s) 1-1, ISSN 2325-5870
Éditeur: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2019.2923387

On-Chip Dynamic Resource Managemen

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

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

Auteurs: Nilay Saraf, Alberto Bemporad
Publié dans: IEEE Transactions on Automatic Control, 2019, Page(s) 1-1, ISSN 0018-9286
Éditeur: 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

Auteurs: Duarte J. Antunes, M. H. Balaghi I.
Publié dans: IEEE Control Systems Letters, Numéro 4/1, 2020, Page(s) 181-186, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2019.2922187

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

Auteurs: Nilay Saraf, Alberto Bemporad
Publié dans: 2019
Éditeur: ArXiv

Livrables

Publications

Partager cette page

Télécharger