Distributed, Embedded and Intelligent Systems

Projekter

Projekter pr. år 2002 2006 2007 2008 2009 2010 2011 2012 2020 2028

• 1 Ikke startet
• 7 Igangværende
• 59 Afsluttet

Projekter pr. år

Søgeresultater

• Igangværende

  Cosyne: Safe Control Systems with Neural Networks

  Schilling, C.

  01/09/2024 → 31/08/2028

  Projekter: Projekt › Forskning

• AAU Water

  Lykke, A., Quist-Jensen, C. A., Vollertsen, J., Nielsen, P. H., Larsen, K. G., Ali, A., Aschmoneit, F. J., Pomianowski, M. Z. & Wisniewski, R.

  01/05/2024 → …

  Projekter: Projekt › Forskning

  • Drinking Water 100%
  • Climate Change Adaptation 100%
  • Drought 100%
  • Lack of Water 100%
  • Global Crisis 100%

• Data Processing and Selection for Improving In-field Data Quality in Battery Health Management

  Weinreich, N. A., Teodorescu, R. & Larsen, K. G.

  01/08/2023 → 31/07/2026

  Projekter: Projekt › Ph.d.-projekt

  • Battery Management 100%
  • Battery Management System 100%
  • Data Quality 100%
  • Data Transmission 100%
  • Carbon Dioxide 100%

• DarkScience: Illuminating microbial dark matter through data science

  Albertsen, M., Hose, K., Nielsen, T. D., Heidelbach, S., Knudsen, K. S., Sereika, M., Corfixen, M., Celikkanat, A., Masegosa, A., Sagi, T., Nissen, J., Heede, T. & Kirkegaard, R. H.

  Villum Fonden

  01/11/2022 → …

  Projekter: Projekt › Forskning

  • Metagenomic Binning 100%
  • Assembly Graph 66%
  • Graph Neural Network 50%
  • Data Science 50%
  • Microbial Dark Matter 50%

• Explainable and Causally Enforced Reinforcement Learning

  Høeg-Petersen, A. H., Larsen, K. G., Wasowski, A. & Jensen, P. G.

  01/09/2022 → …

  Projekter: Projekt › Ph.d.-projekt

  • Hidden Dynamics 100%
  • Formal Verification 100%
  • Reinforcement Learning 100%
  • PhD Project 100%
  • Cyber-physical Systems 100%

• S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS

  Larsen, K. G.

  Villum Fonden

  01/01/2021 → 31/12/2027

  Projekter: Projekt › Forskning

  • Cyber-physical Systems 100%
  • Scalable Analysis 100%
  • Cyber Physical Systems 100%
  • Timed Automaton 91%
  • Automaton 66%

• Directed algebraic topology and concurrency

  Fajstrup, L., Fahrenberg, U. & Raussen, M.

  19/05/2010 → …

  Projekter: Projekt › Forskning

  • Directed Algebraic Topology 100%
  • Concurrency 100%
  • Concurrent Execution 100%
  • Higher-dimensional Automata 100%
  • Directed Space 100%
• Ikke startet

  30.06.2024: Direc Bridge

  Kim, E. H.

  Projekter: Projekt › Ph.d.-projekt

• Afsluttet

  Optimization of Membrane Desalination Processes by Reinforcement Learning

  Bacci, G. (PI (principal investigator)) & Boffa, V. (PI (principal investigator))

  01/05/2023 → 31/01/2024

  Projekter: Projekt › Forskning

  Fil

• AIDK: AI Denmark

  Jurowetzki, R., Hain, D. S., Brøns Kringelum, L., Holmgren, J., Gjerding, A. N., Larsen, M. V., Moeslund, T. B., Nielsen, T. D., Madsen, K. M., Holm, C. G., Bekamiri, H. & Hviid, L.

  Industriens Fond

  01/01/2021 → 31/03/2024

  Projekter: Projekt › Forskning

  • Denmark 100%
  • Artificial Intelligence 100%
  • SMEs 60%
  • Digital Transformation Process 40%
  • AI Community 40%

• Data Science meets Microbial Dark Matter

  Albertsen, M., Hose, K., Nielsen, T. D., Lamurias, A. & Mølvang Dall, S.

  Villum Fonden, Danish E-infrastructure Cooperation

  01/01/2021 → 31/12/2023

  Projekter: Projekt › Forskning

  • Metagenomics 100%
  • Assembly Graph 83%
  • Metagenomic Binning 75%
  • Microbial Dark Matter 50%
  • Graph Neural Network 50%

• Sb3D: Security by Design in Digital Denmark

  Hansen, R. R. (CoPI) & Nielsen, P. A. (CoPI)

  01/12/2020 → 30/11/2023

  Projekter: Projekt › Forskning

• domOS: Operating System for Smart Services in Buildings

  Skou, A., Nielsen, B., Pedersen, T. B. & Thomsen, C.

  Horizon Europe

  01/09/2020 → 31/08/2023

  Projekter: Projekt › Forskning

  • Smart Services 100%
  • Operating System 100%
  • Intelligent Buildings 100%
  • Space Heating 100%
  • District Heating 100%

• Støtte- og styringssystem til rutebusser

  Lahrmann, H. (PI (principal investigator)), Larsen, K. G. (PI (principal investigator)), Tibo, A. (CoI (co-investigator)), Skov, M. B. (PI (principal investigator)), Øhlenschlæger, R. (CoI (co-investigator)), Stakenaite, D. (CoI (co-investigator)), Gøeg, P. R. (CoI (co-investigator)) & Christensen, A. E. (CoI (co-investigator))

  01/08/2020 → 30/11/2021

  Projekter: Projekt › Forskning

• BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL

  Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Muniz Rodriguez, M. A., Poulsen, D. B. & Tschaikowski, M.

  Poul Due Jensens Fond

  27/04/2020 → 01/10/2020

  Projekter: Projekt › Forskning

  • Novo Nordisk 100%
  • UPPAAL 100%
  • Decision Support Tool 75%
  • COVID 50%
  • School Reopening 50%

• FEVER: Flexible Energy Production, Demand and Storage-based Virtual Power Plants for Electricity Markets and Resilient DSO Operation

  Skou, A. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)), Skov, M. B. (CoI (co-investigator)), Chakraborty, N. (Projektdeltager), Jensen, R. H. (Projektdeltager) & Raptis, D. (Projektdeltager)

  EU Forskning

  01/02/2020 → 31/07/2023

  Projekter: Projekt › Forskning

  • Energy Flexibility 100%
  • Heat Pump 91%
  • Virtual Power Plant 66%
  • Energy Production 66%
  • Retail Market 66%

• FED: Flexible Energy Denmark

  Larsen, K. G., Pedersen, T. B., Skou, A., Nielsen, B. & Thomsen, C.

  Innovationsfonden

  01/04/2019 → 31/03/2023

  Projekter: Projekt › Forskning

  • Energy Engineering 100%
  • Denmark 80%
  • Flexible Energy Sources 80%
  • Artificial Intelligence 80%
  • Big Data 53%

• Digital technologies for Industry 4.0

  Berardinelli, G. (Projektkoordinator), Nyman, U. (Projektdeltager), Schjørring, A. (Projektdeltager), Schiøler, H. (Projektdeltager), Tan, Z.-H. (Projektdeltager), Popovski, P. (Projektdeltager), Kristjansen, M. (Projektdeltager), Klicius, N. (Projektdeltager), Xie, Y. (Projektdeltager), Chiariotti, F. (Projektdeltager) & Kalør, A. E. (Projektdeltager)

  01/03/2019 → 28/02/2021

  Projekter: Projekt › Forskning

  • Industry 4.0 (I4.0) 100%
  • Digital Technology 100%
  • Industry 4.0 100%
  • Mobile Robot 100%
  • Predictive Model 100%

• Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

  Nyman, U. (PI (principal investigator)), Nielsen, B. (Andet), Thi Xuan Phan, L. (Projektdeltager), Lee, I. (Projektdeltager), Legay, A. B. E. (Projektdeltager), Boudjadar, J. (Kontaktperson) & Kim, J. H. (Kontaktperson)

  Danmarks Frie Forskningsfond | Teknologi og Produktion

  01/08/2017 → 31/07/2021

  Projekter: Projekt › Andet

  • Avionics 100%
  • Schedulability Analysis 50%
  • Mobile Robot 50%
  • Formal Framework 50%
  • Multicore 50%

• Productive4.0: Productive4.0

  Skou, A., Nielsen, B. & Albano, M.

  Horizon Europe

  01/05/2017 → 30/09/2020

  Projekter: Projekt › Forskning

  • Internet of Things 100%
  • European Industry 66%
  • Infrastructure 66%
  • Product Lifecycle Management 66%
  • Supply Chain Network 66%

• MANTIS: Cyber Physical System based Proactive Collaborative Maintenance

  Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.

  01/05/2015 → 30/04/2018

  Projekter: Projekt › Forskning

  • Condition-Based Maintenance 100%
  • Open Source 74%
  • Condition Monitoring 74%
  • Internet of Things 74%
  • Health Monitoring 74%

• P3: Popular Parallel Programming

  Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.

  01/02/2015 → 31/03/2019

  Projekter: Projekt › Forskning

• DiCyPS: Center for Data-Intensive Cyber-Physical Systems

  Larsen, K. G. (PI (principal investigator)), Skou, A. (CoI (co-investigator)), Pedersen, T. B. (CoI (co-investigator)), Jensen, C. S. (CoI (co-investigator)), Kjeldskov, J. (CoI (co-investigator)), Skov, M. B. (CoI (co-investigator)), Nielsen, B. (CoI (co-investigator)), Lahrmann, H. (CoI (co-investigator)), Bak-Jensen, B. (CoI (co-investigator)), Guerrero, J. M. (CoI (co-investigator)) & Raptis, D. (Projektdeltager)

  Innovationsfonden

  01/01/2015 → 31/12/2020

  Projekter: Projekt › Forskning

  • Markov Chain 100%
  • Numerical Minimization 66%
  • Cyber-physical Systems 66%
  • Cyber Physical Systems 66%
  • Approximates 66%

• PVCC: Photo Voltage Comfort Cooling

  Skou, A. & Agesen, M. K.

  EUDP

  01/01/2014 → 31/10/2016

  Projekter: Projekt › Forskning

  • Ventilation System 100%
  • Excess Heat 100%
  • Energy Engineering 100%
  • Photovoltage 100%
  • Control Systems 100%

• AMIDST: Analysis of MassIve Data STreams - AMIDST

  Madsen, A. L., Rommerdahl Bock, A., Nielsen, T. D. & Martinez, A. M.

  European Union’s Seventh Framework Programme for research, technological development and demonstration

  01/01/2014 → 31/12/2016

  Projekter: Projekt › Forskning

  • Data Stream 100%
  • Data Streaming 62%
  • Commercial Exploitation 50%
  • Big Data Stream 50%
  • Streaming Data 50%

• CLINES: Cluster-based Innovation through Embedded Systems technology

  Skou, A. (Projektkoordinator), Nielsen, P. A. (Projektdeltager), Aaen, I. (Projektdeltager), Larsen, K. G. (Projektkoordinator), Nøhr, B. P. (Projektdeltager), Holmene, C. F. (Projektleder), Nielsen, C. (Projektdeltager), Kristiansen, K. B. (Projektdeltager) & Pedersen, J. E. (Projektdeltager)

  Regions of Knowledge

  01/09/2013 → 31/08/2016

  Projekter: Projekt › Forskning

  • Embedded System Technology 100%
  • Strategic Research Agenda 100%
  • Cluster-based 100%
  • Basque 100%
  • Germany 100%

• CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

  Larsen, K. G., Skou, A., David, A. & Srba, J.

  FP7 STREP

  01/04/2013 → 31/03/2016

  Projekter: Projekt › Forskning

  • Markov Chain 100%
  • Model Checking 50%
  • System Synthesis 40%
  • Numerical Minimization 40%
  • Zero-sum Game 40%

• Arrowhead

  Skou, A., Pedersen, T. B. & Bak-Jensen, B.

  Artemis JU

  01/03/2013 → 28/02/2017

  Projekter: Projekt › Forskning

  • Energy Engineering 100%
  • Arrowhead 57%
  • Timed Automaton 57%
  • Smart Infrastructure 28%
  • Virtual Market 28%

• INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

  Larsen, K. G., Skou, A. & Ravn, A. P.

  FP7 STREP

  01/11/2012 → 31/10/2015

  Projekter: Projekt › Forskning

  • Home Automation 100%
  • Energy Prosumer 80%
  • District Level 80%
  • Intelligent Systems 80%
  • Prosumer Buildings 80%

• TREsPASS: Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security

  Hansen, R. R., David, A., Hüttel, H. & Larsen, K. G.

  FP7 ICT

  01/11/2012 → 31/12/2016

  Projekter: Projekt › Forskning

• SENSATION: Self Energy-Supporting Autonomous Computation

  Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.

  FP7 FET Proactive

  01/10/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Markov Chain 100%
  • Model Checking 50%
  • Numerical Minimization 40%
  • Self-supporting 40%
  • Autonomous Computing 40%

• BETTY: Behavioural Types for Reliable Large-Scale Software Systems

  Hüttel, H.

  01/10/2012 → 01/11/2015

  Projekter: Projekt › Forskning

• CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

  Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

  Artemis JU

  01/06/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Real-time Embedded Systems 100%
  • Middleware 100%
  • Application-oriented 100%
  • Real Time Systems 100%
  • Driven Framework 100%

• Totalflex

  Skou, A. (Projektdeltager), Pedersen, T. B. (Projektdeltager), Bak-Jensen, B. (Projektdeltager), Kjeldskov, J. (Projektdeltager), Skov, M. B. (Projektdeltager) & Uhrenholt, R. W. (Projektdeltager)

  ForskEL

  01/01/2012 → 31/12/2016

  Projekter: Projekt › Forskning

  • Home Automation 100%
  • Timed Automaton 100%
  • Model Checking 100%
  • Demand Response 80%
  • Energy Flexibility 80%

• Energieffektiv måling og regulering af dekantere

  Larsen, J. A. & Skou, A.

  01/01/2012 → 31/12/2013

  Projekter: Projekt › Forskning

  • Decanter 100%
  • Different Operating Modes 33%

• MBAT: Model-based Analysis and Testing of Embedded Systems

  Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.

  Artemis JU

  01/11/2011 → 31/10/2014

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Statistical Model 50%
  • Embedded Systems 40%
  • Model-based Testing 40%
  • Model-based Analysis 40%

• ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE

  Skou, A., Larsen, K. G., Ravn, A. P., Rosenkilde, J., Olsen, P., Le Guilly, T., Madsen, P. P., Holmene, C. F. & Mardare, D.

  Artemis JU

  01/06/2011 → 30/11/2014

  Projekter: Projekt › Forskning

  • Energy Engineering 100%
  • Energy Building 83%
  • Systematic Performance 66%
  • Renewable Energy Storage 66%
  • Performance Monitoring 66%

• IDEA4CPS: Foundations for Cyber-Physical Sytems

  Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

  01/04/2011 → 30/04/2015

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Markov Chain 88%
  • Statistical Model 55%
  • Axiomatization 55%
  • Weighted Logic 44%

• CJ4ES: Certifiable Java for Embedded Systems

  Hansen, R. R., Ravn, A. P. & Larsen, K. G.

  Forskningsrådet for Teknologi og Produktion

  01/03/2011 → 28/02/2014

  Projekter: Projekt › Forskning

  • Memory Model 100%
  • Memory Consumption 66%
  • Private Memory 66%
  • Garbage Collection 66%
  • Allocated Object 66%

• Energieffektiv regulering af separationsprocessor

  Larsen, J. A., Sloth, C. & Skou, A.

  01/01/2011 → 31/12/2012

  Projekter: Projekt › Forskning

• Hybride Systemer

  Wisniewski, R., Izadi-Zamanabadi, R., Ravn, A. P., Bhanderi, D., Thomsen, J. S., Larsen, J. A., N. Soltani, M., Stoustrup, J., Bendtsen, J. D., Trangbæk, K., Alminde, L., Grunnet, J. D. & Laursen, K. K.

  <ingen navn>

  19/05/2010 → 18/05/2013

  Projekter: Projekt › Forskning

  • Switched Dynamical Systems 100%
  • Hybrid System 100%
  • Dynamical System 100%
  • Discrete Dynamical Systems 50%
  • Hybrid Observer 50%

• Dansk center for Grid Computing (DCGC)

  Kleist, J., Behrmann, G., Skou, A. & Jensen, H. T.

  19/05/2010 → 19/05/2013

  Projekter: Projekt › Forskning

  • data grid 100%
  • Alien 50%
  • ALICE 50%
  • Data Management 50%
  • Grid Computing 25%

• RECOMP: Reduced Certification Costs Using Trusted Multi-core Platforms

  Skou, A., Larsen, K. G., Nyman, U., Ravn, A. P. & David, A.

  FP7 ARTEMIS JU

  01/04/2010 → 01/04/2013

  Projekter: Projekt › Forskning

  • Multicore Platforms 100%
  • Certification Cost 100%
  • Safety-critical 100%
  • Multicore Platform 100%
  • Recertification 50%

• Homeport

  Skou, A. (Projektleder), Madsen, P. P. (Projektdeltager), Brønsted, J. (Projektdeltager), Torbensen, R. (Projektdeltager), Ravn, A. P. (Projektdeltager), Olsen, P. (Projektdeltager), Rosenkilde, J. (Projektdeltager) & Le Guilly, T. (Projektdeltager)

  Danish Enterprise and Construction Authority

  01/04/2009 → 31/07/2012

  Projekter: Projekt › Forskning

  • Energy Consumption 100%
  • Homeport 100%
  • Energy Engineering 100%
  • Private Homes 66%
  • Common Service 33%

• InfinIT: Innovation Network for IT

  Larsen, K. G. (Bevillingshaver), Skou, A. (Projektdeltager), Nielsen, P. A. (Projektdeltager), Stage, J. (Projektdeltager), Nielsen, B. (Projektdeltager), Larsen, L. B. (Projektdeltager), Brendborg, B. (Projektdeltager), Uhrenholt, R. W. (Projektdeltager) & Kristensen, S. K. (Projektdeltager)

  Council for Technology and Innovation

  01/03/2009 → 01/07/2018

  Projekter: Projekt › Forskning

  • Transfer Projects 100%
  • Group Knowledge 100%
  • Mobile Systems 100%
  • Innovation Networks 100%
  • Pervasive Systems 100%

• IKT Agil

  Skou, A. (Bevillingshaver), Aaen, I. (Projektleder), Biegel, J. (Projektdeltager) & Coplien, J. (Projektdeltager)

  Danish Enterprise and Construction Authority

  01/01/2009 → 01/01/2011

  Projekter: Projekt › Forskning

  • Collaboration in Software Development 100%
  • Agile Software Development 100%

• The Software Corridor

  Skou, A., Hansen, J. A., Jessen, J. J., Andersen, P. & Balstrup, B.

  Danish Enterprise and Construction Authority

  01/01/2009 → 31/12/2011

  Projekter: Projekt › Forskning

  • Aalborg 100%
  • Lifelong Education 100%
  • Innovation Research 100%
  • Development Project 100%
  • Danish 100%

• GASICS: Games for Analysis and Synthesis of Interactive Computational Systems

  Larsen, K. G., David, A., Skou, A., Nielsen, B., Mikucionis, M. & Li, S.

  European Science Fondation

  01/11/2008 → 31/10/2011

  Projekter: Projekt › Forskning

  • Interactive Computer Systems 100%
  • Computational System 100%
  • Computational Algorithm 50%
  • Game-theoretic 50%
  • Formalization 50%

• MT-LAB: MT-LAB A VKR Foundation Center of Excellence

  Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.

  VKR Centre of Excellence

  01/10/2008 → 01/10/2013

  Projekter: Projekt › Forskning

  • Model Checking 100%
  • Statistical Model 100%
  • Software System 100%
  • Center of Excellence 100%
  • Software Systems 100%

• MULTIFORM - Integrated Multi-formalism Tool Support for the Design of Networked Embedded Control Systems

  Nielsen, B., Mikucionis, M., Larsen, K. G., Nielsen, B. & David, A.

  EU FP7-ICT

  01/09/2008 → 01/02/2012

  Projekter: Projekt › Forskning

  • Networked Embedded Control Systems 100%
  • Multi-formalism 100%
  • Tool Support 100%
  • Embedded Control 100%
  • Controlled System 100%