Rezultaty
UnCoVerCPS is fully committed to the Open Research Data pilot. Besides ensuring accessibility of the results, this task will also evaluate the reproducibility of results of publications. The task leader will also make sure that after each presentation in consortium meetings, the partners have to be able to describe how the results can be reproduced. The assessment of the provided tools and data is assessed according to discoverability, accessibility, assessability, usability beyond intended purpose, and interoperability according to Annex 2 of the Guidelines on Data Management in Horizon 2020.
Final version of the data management planThis is an extension of the first version of the data management plan. A detailed description of the data management plan can be found in deliverable 6.2.
This report presents the results of tasks 3.1 and 3.2. First, it described advances in the reachability analysis of nonlinear systems. Seond, it details how to generate and select partial reference trajectories and how to pre-compute reachable sets for them using the latest advances in reachability analysis.
Report on conformance testing in the development processThe report describes how conformance testing has been realized according to Task 1.3. We describe the various analysis and modelling techniques and tools for conformance testing, identify the issues that need to be solved to achieve their applicability in industry and propose solutions to these issues. We also evaluate these solutions by applying them to the proposed realisations of cyber-physical systems as described in WP5.
Assessment of languages and tools for the automatic formalisation of system requirementsAs outlined in task 1.4. this deliverable comprises the selection of a requirements modeling language that will allow us to reason about formal properties of a cyber-physical system, the creation of user interfaces to input the requirements, and a process which describes how a safety requirement about the whole system can be represented in UnCoVerCPS. Multiple tools for representing requirements will be studied and results reported, e.g. AutoFocus 9, SCADE, and Simulink.
Report on application modelsThe report presents the obtained mathematical models for wind turbines, smart grids, and automated driving. The report includes preliminary simulation results of those models.
Report on interleaving online control and reachability computation for certified behaviour of cyber-physical systemsThis deliverable documents the results obtained in task 2.4 on combining online control and online reachability computations for efficient decision-making in uncertain environments. The report will describe the developed techniques for embedding reachable set computation and constraint generation into model-predictive controllers for CPS. Furthermore, it will elaborate on the results of interleaving and complementing local safety computations and local trajectory optimization for real-time efficiency. The extensions to stochastic settings and the exemplary application to at least one of the case studies considered in WP5 will be covered.
First report on dissemination and exploitationThis is the first summary of the dissimination and exploitation efforts in UnCoVerCPS.
Second report on dissemination and exploitationThis is the second summary of the dissimination and exploitation efforts in UnCoVerCPS.
Report on conformance testing of application modelsThe report describes the results of conformance testing of previous WPs, i.e. to what extend the proposed models match the actual behavior of the selected use cases. The report also contains the validation of results from the offline and on-the-fly verification in complex tasks like the control of a wind turbine, robust and fault-tolerant control of smart grids, verified automated driving, and planning in human-robot collaborative manufacturing. Simulation and experiment results are presented as means of verification.
Assessment of the certifiability for the relevant safety standardsThis document describes the safety impacts due to the introduction of code generation and verification of hydrid controllers. Safety is adressed by standards such as ISO 26262, IEC 61508, EN 50128 or DO-178C, and their objectives/requirements are analyzed with respect to the UnCoVerCPS approach at application level.
Theoretical foundation for combining zonotopes and support functionsThis report explores the theoretical foundation for combining zonotopes and support functions in reachability analysis, as outlined in task 4.3.
Report on application simulation data and experimental resultsThis report will detail the application set-up and the simulation results showing how our approach meets the criteria for safety in the specific applications: wind turbines, automated vehicles, smart girds, and manufacturing in the food industry. The report will also detail the experimental results obtained and detail how well these align with the expected results obtained from the simulations.
Report on compositional verification, and incremental verification in interaction with online controller adaptationThis report presents the results of tasks 3.3 and 3.4. We first present how verification results can be obtained in a compositional way as described in task 3.3. The computational aspect is a further key technology to scale the methods up towards industrial applications. A special focus of the computational aspects will be on power systems as described in WP 5 since they are usually to large to verify monolithically. Second, it investigates how incremental verification and controller synthesis can be carried out and interwoven online to obtain control strategies that fulfil the given specifications.
Report on distributed model predictive control for cyber-physical systems and efficient computationThis deliverable will document the results achieved in tasks 2.2 and 2.3. These tasks concern Model Predictive Control (MPC) of a cyber-physical system composed of interacting, possibly hybrid, subsystems that may operate in an uncertain environment. The goal is to derive distributed control schemes where each subsystem repetitively solves online a local control problem, while accounting for the other subsystems through time-varying and uncertain constraints. Stability and performance results will be investigated for the subsystems and the overall networked system. When the adopted description of the uncertainty is probabilistic, then, the control problem to be solved online naturally reduces to a constrained stochastic optimization problem, which will be addressed using jointly randomized and robust optimization techniques. Computational aspects related to the online implementation of the proposed distributed MPC solutions will be addressed by combining approximation methods ( e.g., model abstraction, constraint convexification, multiple time scale resolution) in an efficient scheme preserving stability while meeting real-time constraints posed by the online implementation.
Final report on dissemination and exploitationThis is the final summary of the dissimination and exploitation efforts in UnCoVerCPS.
Extension of the SCADE language for continuous modellingThis document describes the extensions to the SCADE Suite notation and/or Simplorer tool languages to support all together the description of discrete and continuous behaviors.
Report on behaviour prediction for cyber-physical systemsThe report describes how the behavior prediction has been realized according to task 2.1. We describe the basic theory on how one can predict all possible behaviors of dynamic objects when the system dynamics and set-based uncertainties are given. The report will also show applications on the proposed realisations of cyber-physical systems as described in WP 5.
Report on modelling of networked cyber-physical system for verification and controlThis document summarizes the main results on modeling, identification, and refinement techniques for networked cyber-physical systems, as obtained in the tasks 1.1 and 1.2. The report starts from a review of the state-of-the-art on such techniques before the project started, and describes the modeling framework for networked CPS as established in UnCoVerCPS. We detail which particular model properties are essential for the particular purposes of online control and verification, and we focus on coping with model uncertainties, real-time execution, and networked structures. The modeling procedures will be illustrated for the applications addressed in WP5.
Report on reachability analysis of nonlinear systems and compositional verificationWe present new results on reachability analysis of nonlinear systems as described in task 3.1. Reachability analysis is a key technology for formal verification of cyber-physical systems. Reachability analysis of nonlinear systems is considered with a special focus on scalability and on reducing the overapproximation of the obtained results. The computational aspect is a further key technology to scale the methods up towards industrial applications.
Our project website will be hosted by the Cyber-Physical Systems Virtual Organization (CPS-VO), see http://cps-vo.org/. The website will provide preprints of publications, benchmark examples, software tools developed within the project, a forum, and links to dissemination activities.
UnCoVerCPS proposes to assemble a tool chain composed of the following tools: • SCADE and Simplorer developed at Esterel Technologies. They are used to develop the model and the plant description and are used for certified code generation; • SpaceEx developed at Université Joseph Fourier Grenoble 1 and CORA developed at Technische Universität München. The interaction with SpaceEx and CORA tools increases the verification capabilities by identifying the reachable states of cyber-physical systems. Both tools will be the basis for new tools that can verify systems on-the-fly: SpaceExonl and CORAonl ; • DMPC-HS newly developed at Universität Kassel and ScenarioMPC newly developed at Politecnico di Milano. These tools are use for the development of model predictive controllers. DMPC-HS is applied to non-stochastic systems, while ScenarioMPC is applied to stochastic systems; • the newly developed tools ConfTest (Bosch) for conformance testing and formalSpec (GE) to formalise specifications. The deliverable comprises the following elements from WP4 (incl. tasks and participants): - Translation scheme from SCADE/Simplorer to hybrid automata, including a hybrid automata code generator prototype (T4.2, ET,UJF) - C++ library for zonotopes to be included in SpaceEx (T4.3, TUM,UJF) - Exchange formats and the associated APIs between the tools SCADE, Simplorer, SpaceEx, CORA, formalSpec, and ConfTest (T4.4, ET,UJF,TUM,GE) - C code generator prototype for SCADE with extensions (T4.6, ET) The interaction between the tools SCADE, Simplorer, SpaceEx, CORA, formalSpec, and ConfTest is to be demonstrated and tested on a set of applications as described in task 4.5 (UKS, PoliMi, UJF, TUM).
Publikacje
Autorzy:
Matthias Althoff
Opublikowane w:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing, Numer vol. 34, 2015, Strona(/y) 120-151
Wydawca:
EasyChair
Autorzy:
Luca Parolini, Simone Schuler and Adolfo Anta
Opublikowane w:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing, Numer vol. 34, 2015, Strona(/y) 43-48
Wydawca:
EasyChair
Autorzy:
Hendrik Roehm, Rainer, Gmehlich, Thomas Heinz, Jens Oehlerking and Matthias Woehrle
Opublikowane w:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing, Numer vol.34, 2015, Strona(/y) 80-88
Wydawca:
EasyChair
Autorzy:
Goran Frehse
Opublikowane w:
EMSOFT '15: Proceedings of the 12th International Conference on Embedded Software, 2015, Strona(/y) 41-50, ISBN 978-1-4673-8079-9
Wydawca:
IEEE Press
Autorzy:
Federico Terraneo, Alberto Leva, Maria Prandini
Opublikowane w:
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems - ICCPS '15, 2015, Strona(/y) 250-251, ISBN 9781-450334556
Wydawca:
ACM
DOI:
10.1145/2735960.2735991
Autorzy:
Javier Sanchez Cubillo and Jesus Marcos Olaya
Opublikowane w:
Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA). ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA), 13th, May 11-13, Noordwijk, Netherlands, 2015
Wydawca:
inproceedings ASTRA
Autorzy:
Luca Deori, Simone Garatti, Maria Prandini
Opublikowane w:
2015 American Control Conference (ACC), 2015, Strona(/y) 2299-2304, ISBN 978-1-4799-8684-2
Wydawca:
IEEE
DOI:
10.1109/ACC.2015.7171075
Autorzy:
Alessandro Falsone, Maria Prandini
Opublikowane w:
2015 European Control Conference (ECC), 2015, Strona(/y) 1200-1205, ISBN 978-3-9524-2693-7
Wydawca:
IEEE
DOI:
10.1109/ECC.2015.7330703
Autorzy:
Matteo Ragaglia, Maria Prandini, Luca Bascetta
Opublikowane w:
2015 European Control Conference (ECC), 2015, Strona(/y) 2521-2526, ISBN 978-3-9524-2693-7
Wydawca:
IEEE
DOI:
10.1109/ECC.2015.7330917
Autorzy:
Riccardo Maria Vignali, Daniele Ioli, Maria Prandini
Opublikowane w:
2018 Annual American Control Conference (ACC), 2018, Strona(/y) 1424-1429, ISBN 978-1-5386-5428-6
Wydawca:
IEEE
DOI:
10.23919/acc.2018.8430792
Autorzy:
Andrea Casalino, Paolo Rocco, Maria Prandini
Opublikowane w:
2018 Annual American Control Conference (ACC), 2018, Strona(/y) 1172-1177, ISBN 978-1-5386-5428-6
Wydawca:
IEEE
DOI:
10.23919/acc.2018.8431763
Autorzy:
Alessandro Falsone, Luca Deori, Daniele Ioli, Simone Garatti, Maria Prandini
Opublikowane w:
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Strona(/y) 629-634, ISBN 978-1-5090-2873-3
Wydawca:
IEEE
DOI:
10.1109/CDC.2017.8263731
Autorzy:
Daniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom, Maria Prandini
Opublikowane w:
EPiC Series in Computing volume 48, 2017, Strona(/y) 2--17
Wydawca:
EasyChair
DOI:
10.29007/5qvt
Autorzy:
Alessandro Falsone, Kostas Margellos, Simone Garatti, Maria Prandini
Opublikowane w:
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Strona(/y) 3853-3858, ISBN 978-1-5090-2873-3
Wydawca:
IEEE
DOI:
10.1109/CDC.2017.8264226
Autorzy:
Giorgio Manganini, Alessandro Falsone, Jan Siroky, Maria Prandini
Opublikowane w:
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017, Strona(/y) 1663-1668, ISBN 978-1-5090-2873-3
Wydawca:
IEEE
DOI:
10.1109/CDC.2017.8263889
Autorzy:
Luca Deori, Kostas Margellos, Maria Prandini
Opublikowane w:
2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Strona(/y) 6044-6049, ISBN 978-1-5090-1837-6
Wydawca:
IEEE
DOI:
10.1109/CDC.2016.7799197
Autorzy:
Kostas Margellos, Alessandro Falsone, Simone Garatti, Maria Prandini
Opublikowane w:
2016 European Control Conference (ECC), 2016, Strona(/y) 2559-2554, ISBN 978-1-5090-2591-6
Wydawca:
IEEE
DOI:
10.1109/ECC.2016.7810675
Autorzy:
P. Dimitrov, L. Piroddi, M. Prandini
Opublikowane w:
2016 American Control Conference (ACC), 2016, Strona(/y) 3551-3556, ISBN 978-1-4673-8682-1
Wydawca:
IEEE
DOI:
10.1109/ACC.2016.7525464
Autorzy:
Daniele Ioli, Alessandro Falsone, Maria Prandini
Opublikowane w:
2016 American Control Conference (ACC), 2016, Strona(/y) 2346-2351, ISBN 978-1-4673-8682-1
Wydawca:
IEEE
DOI:
10.1109/ACC.2016.7525268
Autorzy:
Riccardo Vignali, Maria Prandini
Opublikowane w:
2016 IEEE Conference on Control Applications (CCA), 2016, Strona(/y) 538-543, ISBN 978-1-5090-0755-4
Wydawca:
IEEE
DOI:
10.1109/CCA.2016.7587885
Autorzy:
Brocchini, Caterina; Falsone, Alessandro; Manganini, Giorgio; Holub, Ondrej; Prandini, Maria
Opublikowane w:
Numer 22, 2016, ISBN 978-1-5323-1358-5
Wydawca:
22nd Symposium on Mathematical theory of Networks and Systems 2016
Autorzy:
Kostas Margellos, Alessandro Falsone, Simone Garatti, Maria Prandini
Opublikowane w:
2016 American Control Conference (ACC), 2016, Strona(/y) 2466-2471, ISBN 978-1-4673-8682-1
Wydawca:
IEEE
DOI:
10.1109/ACC.2016.7525287
Autorzy:
Riccardo Vignali, Maria Prandini
Opublikowane w:
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016, Strona(/y) 1-6, ISBN 978-1-5090-3079-8
Wydawca:
IEEE
DOI:
10.1109/SNR.2016.7479381
Autorzy:
Alessandro Falsone, Kostas Margellos, Simone Garatti, Maria Prandini
Opublikowane w:
2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Strona(/y) 1889-1894, ISBN 978-1-5090-1837-6
Wydawca:
IEEE
DOI:
10.1109/CDC.2016.7798540
Autorzy:
Luca Deori, Simone Garatti, Maria Prandini
Opublikowane w:
2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Strona(/y) 256-261, ISBN 978-1-5090-1837-6
Wydawca:
IEEE
DOI:
10.1109/CDC.2016.7798279
Autorzy:
Andrea Belloni, Luigi Piroddi, Maria Prandini
Opublikowane w:
2016 American Control Conference (ACC), 2016, Strona(/y) 2340-2345, ISBN 978-1-4673-8682-1
Wydawca:
IEEE
DOI:
10.1109/ACC.2016.7525267
Autorzy:
Daniele Ioli, Alessandro Falsone, Simone Schuler, Maria Prandini
Opublikowane w:
2016 12th IEEE International Conference on Control and Automation (ICCA), 2016, Strona(/y) 389-394, ISBN 978-1-5090-1738-6
Wydawca:
IEEE
DOI:
10.1109/ICCA.2016.7505308
Autorzy:
Luca Parolini, Simone Schuler, Adolfo Anta
Opublikowane w:
EPiC Series in Computing volume 34, 2015, Strona(/y) 43-36
Wydawca:
EasyChair
DOI:
10.29007/1bln
Autorzy:
Christian Hillmann, Olaf Stursberg
Opublikowane w:
2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, Strona(/y) 551-557, ISBN 978-1-4673-8183-3
Wydawca:
IEEE
DOI:
10.1109/CoASE.2015.7294137
Autorzy:
Giorgio Manganini, Alessandro Falsone, Maria Prandini
Opublikowane w:
2015 IEEE Conference on Control Applications (CCA), 2015, Strona(/y) 1084-1089, ISBN 978-1-4799-7787-1
Wydawca:
IEEE
DOI:
10.1109/CCA.2015.7320757
Autorzy:
Goran Frehse
Opublikowane w:
Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 2015, Strona(/y) 7454-7461, ISBN 978-1-4799-7884-7
Wydawca:
IEEE
DOI:
10.1109/CDC.2015.7403397
Autorzy:
Giorgio Manganini, Luigi Piroddi and Maria Prandini
Opublikowane w:
Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 2015, Strona(/y) 2963 - 2968, ISBN 978-1-4799-7884-7
Wydawca:
IEEE
DOI:
10.1109/CDC.2015.7402667
Autorzy:
Luca Deori, Simone Garatti and Maria Prandini
Opublikowane w:
Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 2015, Strona(/y) 3786 - 3791, ISBN 978-1-4799-7884-7
Wydawca:
IEEE
DOI:
10.1109/CDC.2015.7402807
Autorzy:
Daniele Ioli, Alessandro Falsone and Maria Prandini
Opublikowane w:
Decision and Control (CDC), 2015 IEEE 54th Annual Conference on, 2015, Strona(/y) 5227 - 5232, ISBN 978-1-4799-7884-7
Wydawca:
IEEE
DOI:
10.1109/CDC.2015.7403037
Autorzy:
Joao Salvado, Luis M.M. Custodio, Daniel Hess
Opublikowane w:
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016, Strona(/y) 2853-2858, ISBN 978-1-5090-3762-9
Wydawca:
IEEE
DOI:
10.1109/IROS.2016.7759442
Autorzy:
Bastian Schürmann, Matthias Althoff
Opublikowane w:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17, 2017, Strona(/y) 121-130, ISBN 9781-450345903
Wydawca:
ACM Press
DOI:
10.1145/3049797.3049800
Autorzy:
Garazi Juez Uriagereka, Ray Lattarulo, Joshue Perez Rastelli, Estibaliz Amparan Calonge, Alejandra Ruiz Lopez, Huascar Espinoza Ortiz
Opublikowane w:
2017 IEEE Intelligent Vehicles Symposium (IV), 2017, Strona(/y) 1867-1872, ISBN 978-1-5090-4804-5
Wydawca:
IEEE
DOI:
10.1109/IVS.2017.7995977
Autorzy:
Ioli Daniele and Deori Luca and Falsone Alessandro and Prandini Maria
Opublikowane w:
20th World Congress of the International Federation of Automatic Control, 2017
Wydawca:
IFAC
Autorzy:
Luca Deori and Kostas Margellos and Maria Prandini
Opublikowane w:
20th World Congress of the International Federation of Automatic Control, 2017
Wydawca:
IFAC
Autorzy:
Stefan B. Liu and Matthias Althoff and Christian Heinzemann and Hendrik Roehm and Jens Oehlerking and Ingo Luetkebohle
Opublikowane w:
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017), 2017
Wydawca:
IEEE
Autorzy:
Heß, Daniel and Löper, Christian and Hesse, Tobias
Opublikowane w:
AAET – Automatisiertes und vernetztes Fahren, Beiträge zum gleichnamigen 18. Braunschweiger Symposium vom 8. und 9. Februar 2017, 2017, ISBN 978-3-937655-41-3
Wydawca:
ITS automotive nord e.V. (Hrsg.)
Autorzy:
Yang, Yang; Prandini, Maria; Cao, Xianbin; Du, Wenbo
Opublikowane w:
20th World Congress of the International Federation of Automatic Control, 2017
Wydawca:
IFAC
Autorzy:
X. Chen and M. Althoff and F. Immler
Opublikowane w:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2017
Wydawca:
Easychair
Autorzy:
Daniele Ioli and Alessandro Falsone and Marianne Hartung and Axel Busboom and Maria Prandini
Opublikowane w:
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Wydawca:
EasyChair
Autorzy:
Damian Kontny, Olaf Stursberg
Opublikowane w:
2016 IEEE 55th Conference on Decision and Control (CDC), 2016, Strona(/y) 4894-4900, ISBN 978-1-5090-1837-6
Wydawca:
IEEE
DOI:
10.1109/CDC.2016.7799017
Autorzy:
BASCETTA, LUCA; PRANDINI, MARIA
Opublikowane w:
20th World Congress of the International Federation of Automatic Control, 2017
Wydawca:
IFAC
Autorzy:
M. Althoff and S. Bak and D. Cattaruzza and X. Chen and G. Frehse and R. Ray and S. Schupp
Opublikowane w:
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2017
Wydawca:
Easychair
Autorzy:
Schürmann, Bastian and Althoff, Matthias
Opublikowane w:
Proc. of the American Control Conference, 2017
Wydawca:
ACC
Autorzy:
Lattarulo, R. and Marcano, M. and Perez, J.
Opublikowane w:
Lecture Notes in Computer Science, 2017
Wydawca:
Springer
Autorzy:
Schürmann, Bastian and Althoff, Matthias
Opublikowane w:
Proc. of the 20th IFAC World Congress, 2017
Wydawca:
IFAC
Autorzy:
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger
Opublikowane w:
23rd Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017, Strona(/y) 589-606
Wydawca:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54577-5_34
Autorzy:
Schürmann, Bastian and Heß, Daniel and Eilbrecht, Jan and Stursberg, Olaf and Köster, Frank and Althoff, Matthias
Opublikowane w:
Proc. of the Intelligent Transportation Systems Conference, 2017
Wydawca:
IEEE
Autorzy:
Lattarulo, R. and Perez, J.
Opublikowane w:
16th International Conference on Computer Aided Systems Theory (EuroCAST), 2017
Wydawca:
EuroCAST
Autorzy:
Lattarulo, R. and Perez, J. and Dendaluce, M.
Opublikowane w:
20th World Congress The International Federation of Automatic Control, 2017
Wydawca:
IFAC
Autorzy:
A. El-Guindy and K. Schaab and B. Schürmann and D. Han and O. Stursberg and M. Althoff
Opublikowane w:
Proc. of the IEEE PES General Meeting, 2017
Wydawca:
IEEE
Autorzy:
Martijn J.A. Zeestraten, Aaron Pereira, Matthias Althoff, Sylvain Calinon
Opublikowane w:
2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016, Strona(/y) 002116-002121, ISBN 978-1-5090-1897-0
Wydawca:
IEEE
DOI:
10.1109/SMC.2016.7844552
Autorzy:
Andrea Giusti, Matthias Althoff
Opublikowane w:
2016 American Control Conference (ACC), 2016, Strona(/y) 2995-3001, ISBN 978-1-4673-8682-1
Wydawca:
IEEE
DOI:
10.1109/ACC.2016.7525375
Autorzy:
Aaron Pereira, Matthias Althoff
Opublikowane w:
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2016, Strona(/y) 1394-1401, ISBN 978-1-5090-3762-9
Wydawca:
IEEE
DOI:
10.1109/IROS.2016.7759228
Autorzy:
F. Hisch and A. Giusti and M. Althoff
Opublikowane w:
Proc. of the 20th IFAC World Congress, 2017
Wydawca:
IFAC
Autorzy:
Daniele Ioli, Alessandro Falsone, Maria Prandini
Opublikowane w:
IFAC-PapersOnLine, Numer 48/8, 2015, Strona(/y) 1150-1155, ISSN 2405-8963
Wydawca:
Elsevier wordmark
DOI:
10.1016/j.ifacol.2015.09.123
Autorzy:
Luca Deori, Kostas Margellos, Maria Prandini
Opublikowane w:
IEEE Transactions on Control Systems Technology, 2018, Strona(/y) 1-9, ISSN 1063-6536
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tcst.2018.2827990
Autorzy:
Federico Bianchi, Maria Prandini, Luigi Piroddi
Opublikowane w:
IFAC-PapersOnLine, Numer 51/15, 2018, Strona(/y) 281-286, ISSN 2405-8963
Wydawca:
Elsevier Ltd.
DOI:
10.1016/j.ifacol.2018.09.148
Autorzy:
Kostas Margellos, Alessandro Falsone, Simone Garatti, Maria Prandini
Opublikowane w:
IEEE Transactions on Automatic Control, Numer 63/5, 2018, Strona(/y) 1372-1387, ISSN 0018-9286
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TAC.2017.2747505
Autorzy:
Luca Deori, Kostas Margellos, Maria Prandini
Opublikowane w:
Automatica, Numer 96, 2018, Strona(/y) 150-158, ISSN 0005-1098
Wydawca:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2018.06.043
Autorzy:
Riccardo Vignali, Maria Prandini
Opublikowane w:
IEEE Transactions on Automatic Control, Numer 62/6, 2017, Strona(/y) 3021-3028, ISSN 0018-9286
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TAC.2016.2606082
Autorzy:
Yang Yang, Maria Prandini, Xianbin Cao, Wenbo Du
Opublikowane w:
IFAC-PapersOnLine, Numer 50/1, 2017, Strona(/y) 14674-14679, ISSN 2405-8963
Wydawca:
Elsevier Ltd.
DOI:
10.1016/j.ifacol.2017.08.2496
Autorzy:
Luca Deori, Kostas Margellos, Maria Prandini
Opublikowane w:
IFAC-PapersOnLine, Numer 50/1, 2017, Strona(/y) 14320-14325, ISSN 2405-8963
Wydawca:
Elsevier Ltd.
DOI:
10.1016/j.ifacol.2017.08.1871
Autorzy:
Daniele Ioli, Alessandro Falsone, Alessandro Vittorio Papadopoulos, Maria Prandini
Opublikowane w:
Journal of Process Control, 2017, ISSN 0959-1524
Wydawca:
Butterworth Scientific Ltd.
DOI:
10.1016/j.jprocont.2017.10.005
Autorzy:
F. Bianchi, A. Falsone, M. Prandini, L. Piroddi
Opublikowane w:
International Journal of Systems Science, Numer 48/6, 2016, Strona(/y) 1203-1216, ISSN 0020-7721
Wydawca:
Taylor & Francis
DOI:
10.1080/00207721.2016.1244309
Autorzy:
Luca Bascetta, Iñigo Mendizabal Arrieta, Maria Prandini
Opublikowane w:
IFAC-PapersOnLine, Numer 50/1, 2017, Strona(/y) 6965-6970, ISSN 2405-8963
Wydawca:
Elsevier Ltd.
DOI:
10.1016/j.ifacol.2017.08.1337
Autorzy:
Luca Deori, Simone Garatti, Maria Prandini
Opublikowane w:
Journal of the Franklin Institute, Numer 354/1, 2017, Strona(/y) 501-529, ISSN 0016-0032
Wydawca:
Pergamon Press Ltd.
DOI:
10.1016/j.jfranklin.2016.10.019
Autorzy:
Daniele Ioli, Luca Deori, Alessandro Falsone, Maria Prandini
Opublikowane w:
IFAC-PapersOnLine, Numer 50/1, 2017, Strona(/y) 8844-8849, ISSN 2405-8963
Wydawca:
Elsevier Ltd.
DOI:
10.1016/j.ifacol.2017.08.1540
Autorzy:
Federico Terraneo, Alessandro Vittorio Papadopoulos, Alberto Leva, Maria Prandini
Opublikowane w:
Journal of Systems Architecture, Numer 80, 2017, Strona(/y) 77-84, ISSN 1383-7621
Wydawca:
Elsevier BV
DOI:
10.1016/j.sysarc.2017.09.006
Autorzy:
Yang Yang, Jun Zhang, Kai-Quan Cai, Maria Prandini
Opublikowane w:
IEEE Transactions on Control Systems Technology, Numer 25/1, 2017, Strona(/y) 309-316, ISSN 1063-6536
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TCST.2016.2542046
Autorzy:
Alessandro Falsone, Kostas Margellos, Simone Garatti, Maria Prandini
Opublikowane w:
Automatica, Numer 84, 2017, Strona(/y) 149-158, ISSN 0005-1098
Wydawca:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2017.07.003
Autorzy:
Alessandro Vittorio Papadopoulos, Maria Prandini
Opublikowane w:
Automatica, Numer 70, 2016, Strona(/y) 57-65, ISSN 0005-1098
Wydawca:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2016.03.019
Autorzy:
Konstantin Schaab, Olaf Stursberg
Opublikowane w:
IFAC-PapersOnLine, Numer 48/26, 2015, Strona(/y) 218-223, ISSN 2405-8963
Wydawca:
Elsevier
DOI:
10.1016/j.ifacol.2015.11.140
Autorzy:
Konstantin Schaab, Olaf Stursberg
Opublikowane w:
IFAC-PapersOnLine, Numer 48/30, 2015, Strona(/y) 566-571, ISSN 2405-8963
Wydawca:
Elsevier
DOI:
10.1016/j.ifacol.2015.12.440
Autorzy:
Giorgio Manganini, Matteo Pirotta, Marcello Restelli, Luigi Piroddi, Maria Prandini
Opublikowane w:
IEEE Transactions on Cybernetics, Numer Numer: 99, 2015, Strona(/y) 1-13, ISSN 2168-2267
Wydawca:
IEEE Advancing Technology for Humanity
DOI:
10.1109/TCYB.2015.2483780
Autorzy:
Alessandro Falsone, Luigi Piroddi, Maria Prandini
Opublikowane w:
Automatica, Numer 60, 2015, Strona(/y) 227-238, ISSN 0005-1098
Wydawca:
Pergamon Press Ltd.
DOI:
10.1016/j.automatica.2015.07.023
Autorzy:
Alessandro Falsone and Kostas Margellos and Simone Garatti and Maria Prandini
Opublikowane w:
IEEE Transactions on Control of Network Systems, 2016, ISSN 0005-1098
Wydawca:
Pergamon Press Ltd.
Autorzy:
Alessandro Falsone, Kostas Margellos, Simone Garatti, Maria Prandini
Opublikowane w:
IEEE Transactions on Control of Network Systems, 2017, Strona(/y) 1-1, ISSN 2325-5870
Wydawca:
IEEE CONTROL SYSTEMS SOCIETY
DOI:
10.1109/TCNS.2017.2653418
Autorzy:
Riccardo Maria Vignali, Francesco Borghesan, Luigi Piroddi, Martin Strelec, Maria Prandini
Opublikowane w:
IEEE Transactions on Automation Science and Engineering, Numer 14/2, 2017, Strona(/y) 619-633, ISSN 1545-5955
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TASE.2016.2635109
Autorzy:
Konstantin Schaab, Jannik Hahn, Maksim Wolkov, Olaf Stursberg
Opublikowane w:
Control Engineering Practice, Numer 60, 2017, Strona(/y) 7-17, ISSN 0967-0661
Wydawca:
Pergamon Press Ltd.
DOI:
10.1016/j.conengprac.2016.12.003
Autorzy:
Alessandro Falsone, Maria Prandini
Opublikowane w:
IEEE Transactions on Intelligent Transportation Systems, 2017, Strona(/y) 1-10, ISSN 1524-9050
Wydawca:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/TITS.2017.2654511
Autorzy:
Sun, Wuqiang
Opublikowane w:
2015
Wydawca:
Technische Universität Braunschweig
Autorzy:
Salvado, Joao
Opublikowane w:
2015
Wydawca:
Tecnico Lisboa
Autorzy:
Evgeny Agamirzov
Opublikowane w:
2016
Wydawca:
Technische Universität München
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników