Opendata, web and dolomites

LASSO SIGNED

Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "LASSO" data sheet

The following table provides information about the project.

Coordinator
AALBORG UNIVERSITET 

Organization address
address: FREDRIK BAJERS VEJ 7K
city: AALBORG
postcode: 9220
website: www.aau.dk

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Denmark [DK]
 Project website http://www.lasso-cs.dk/
 Total cost 2˙493˙751 €
 EC max contribution 2˙493˙750 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2014-ADG
 Funding Scheme ERC-ADG
 Starting year 2015
 Duration (year-month-day) from 2015-11-01   to  2021-10-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    AALBORG UNIVERSITET DK (AALBORG) coordinator 2˙493˙750.00

Map

 Project objective

Cyber-physical systems (CPS) are emerging throughout society, e.g. traffic systems, smart grids, smart cities, and medical devices, and brings the promise to society of better solutions in terms of performance, efficiency and usability. However, CPS are often highly safety critical, e.g. cars or medical devices, thus the utmost care must be taken that optimization of performance does not hamper crucial safety conditions. Given the constant growth in complexity of CPS, this task is becoming increasingly demanding for companies to handle with existing methods. The principle barrier for mastering the engineering of complex CPS being both trustworthy and efficient is the lack of a theoretical well-founded framework for CPS engineering supported by powerful tools, that will enable companies to timely meet increasing market demands.

With his extensive contributions to model-driven methodologies, and as provider of one of the “foremost” tools for embedded systems verification, the PI is well prepared to provide the missing framework. The LASSO framework will support the quantitative modeling of both cyber- and physical components, their efficient analysis, the learning of models for unknown components, as well as automatic synthesis and optimization of missing cyber-components from specifications. LASSO will provide the new generation of scalable tools for CPS, allowing trade-offs between safety constraints and performance measure to be made.

LASSO will achieve its objective by ground-breaking and extensive combinations of two different research areas: model checking and machine learning. The framework will develop a complete metric approximation theory for quantitative models, allowing properties to be inferred from reduced or learned models with metric guarantees of their validity in the original system. Further, the applicability of the framework will be validated through a number of CPS case studies, and the tools developed will be made generally available.

 Publications

year authors and title journal last update
List of publications.
2016 Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn RHM Haverkort, MR Jongerden, Kim G Larsen, Erik R Wognsen
Mastering Operational Limitations of LEO Satellites-The GOMX-3 Approach
published pages: , ISSN: , DOI:
2019-09-09
2018 Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes
published pages: 271-283, ISSN: , DOI: 10.1007/978-3-319-77313-1_21
Lecture Notes in Computer Science 10792 2019-09-09
2017 Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances
published pages: , ISSN: 1860-5974, DOI: 10.23638/LMCS-13(2:13)2017
Logical Methods in Computer Science 13/2 2019-09-09
2018 Dmitry Ivanov, Kim Larsen, Sibylle Schupp and Jiri Srba
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems
published pages: , ISSN: , DOI:
Lecture Notes in Computer Science 2019-09-09
2016 Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Bisimilarity Distance on Markov Chains
published pages: 21:1--21:14, ISSN: , DOI: 10.4230/LIPIcs.CONCUR.2016.21
LIPIcs 59 2019-09-09
2017 Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Spaabæk Lahrmann, Kim Guldstrand Larsen, Marco Muniz, Jakob Haahr Taankvist
Uppaal Stratego for Intelligent Traffic Lights
published pages: , ISSN: , DOI:
2019-09-09
2018 Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Total Variation Distance of Markov Chains
published pages: 27-39, ISSN: 1571-0661, DOI: 10.1016/j.entcs.2018.03.014
Electronic Notes in Theoretical Computer Science 336 2019-09-09
2016 Kim G. Larsen, Simon Laursen, Martin Zimmermann
Limit Your Consumption! Finding Bounds in Average-energy Games
published pages: 1-14, ISSN: 2075-2180, DOI: 10.4204/EPTCS.227.1
Electronic Proceedings in Theoretical Computer Science 227 2019-09-09
2016 Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba, Lars Kaerlund Oestergaard
Efficient model-checking of weighted CTL with upper-bound constraints
published pages: 409-426, ISSN: 1433-2779, DOI: 10.1007/s10009-014-0359-5
International Journal on Software Tools for Technology Transfer 18/4 2019-09-09
2018 Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Contracts for System Design
published pages: 124-400, ISSN: 1551-3939, DOI: 10.1561/1000000053
Foundations and Trends® in Electronic Design Automation 12/2-3 2019-09-09
2018 Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
published pages: , ISSN: 0169-2968, DOI:
Fundamenta Informaticae 2019-09-09
2018 Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen
20 Years of Real Real Time Model Validation
published pages: , ISSN: , DOI:
2019-09-09
2018 Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist
Time Optimal Robust Fleet Management of micro UAV through Timed Games formulation
published pages: , ISSN: , DOI:
2019-09-09
2018 Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier
Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty
published pages: , ISSN: , DOI:
Lecture Notes in Computer Science 2019-09-09
2018 Kim G. Larsen, Radu Mardare, Bingtian Xue
On decidability of recursive weighted logics
published pages: 1085-1102, ISSN: 1432-7643, DOI: 10.1007/s00500-016-2193-z
Soft Computing 22/4 2019-09-09
2016 Kim G. Larsen, Axel Legay
Statistical Model Checking: Past, Present, and Future
published pages: 3-15, ISSN: , DOI: 10.1007/978-3-319-47166-2_1
Lecture Notes in Computer Science 9952 2019-09-09
2016 Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Learning deterministic probabilistic automata from a model checking perspective
published pages: 255-299, ISSN: 0885-6125, DOI: 10.1007/s10994-016-5565-9
Machine Learning 105/2 2019-09-09
2015 Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
Uppaal SMC tutorial
published pages: 397-415, ISSN: 1433-2779, DOI: 10.1007/s10009-014-0361-y
International Journal on Software Tools for Technology Transfer 17/4 2019-09-09
2018 Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Average-energy games
published pages: 91-127, ISSN: 0001-5903, DOI: 10.1007/s00236-016-0274-1
Acta Informatica 55/2 2019-09-09
2016 Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
Statistical and exact schedulability analysis of hierarchical scheduling systems
published pages: 103-130, ISSN: 0167-6423, DOI: 10.1016/j.scico.2016.05.008
Science of Computer Programming 127 2019-09-09
2018 Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
Model Checking Real-Time Systems
published pages: 1001-1046, ISSN: , DOI: 10.1007/978-3-319-10575-8_29
Handbook of Model Checking 2019-09-09
2016 Daniel Gebler, Simone Tini, Kim Larsen
Compositional metric reasoning with Probabilistic Process Calculi
published pages: , ISSN: 1860-5974, DOI: 10.2168/LMCS-12(4:12)2016
Logical Methods in Computer Science 12/4 2019-09-09
2018 Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
published pages: , ISSN: , DOI:
Lecture Notes in Computer Science 2019-09-09
2015 Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Statistical model checking for biological systems
published pages: 351-367, ISSN: 1433-2779, DOI: 10.1007/s10009-014-0323-4
International Journal on Software Tools for Technology Transfer 17/3 2019-09-09
2018 F.M. Boenneland, P.G. Jensen, K.G. Larsen, M. Muniz, J. Srba
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
published pages: , ISSN: , DOI:
Lecture Notes in Computer Science 2019-09-09
2017 Kim G. Larsen, Uli Fahrenberg, Axel Legay
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning
published pages: 60-103, ISSN: , DOI: 10.3233/978-1-61499-810-5-60
Dependable Software Systems Engineering 50 2019-09-09
2017 Giovanni Bacci, Giorgio Bacci, Radu Mardare, Kim G. Larsen
On the Metric-Based Approximate Minimization of Markov Chains
published pages: 104:1--104:14, ISSN: , DOI: 10.4230/LIPIcs.ICALP.2017.104
LIPIcs 80 2019-09-09
2016 Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Optimizing the resource requirements of hierarchical scheduling systems
published pages: 41-48, ISSN: 1551-3688, DOI: 10.1145/2983185.2983192
ACM SIGBED Review 13/3 2019-09-09
2016 Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures
published pages: 63-75, ISSN: 2075-2180, DOI: 10.4204/EPTCS.220.6
Electronic Proceedings in Theoretical Computer Science 220 2019-09-09
2018 Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen
On the Verification of Weighted Kripke Structures Under Uncertainty
published pages: , ISSN: , DOI:
Lecture Notes in Computer Science 2019-09-09

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "LASSO" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "LASSO" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

PROGRESS (2019)

The Enemy of the Good: Towards a Theory of Moral Progress

Read More  

VictPart (2019)

Righting Victim Participation in Transitional Justice

Read More  

DimorphicCircuits (2019)

Elucidating the development of sexually-dimorphic circuits: from molecular mechanisms to synapses and behavior

Read More