Projektdetaljer

Beskrivelse

The Research Center will establish a Smart Society Testbed Laboratory and a number of prototype demonstrators. Thereby it will enable the construction of an IT infrastructure for Data Intensive Cyber-physical systems and their interaction with end users. Generality and usability of the results will be demonstrated through a close interdisciplinary cooperation with scientists and companies from the energy and transport domain. The Centre combines 5 internationally leading research groups (including the 2 most cited Danish computer scientists) and a unique international consortium of companies, researchers and public authorities with a view to create the foundations for IT infrastructures in the future smart society.

Lægmandssprog

Cyber-physical systems (CPS) refers to the close linkage and coordination between computational and physical resources. CPS are large distributed systems (often embedded systems in a network), where a large number of computing devices operate in a natural environment. CPS cannot work without software for monitoring, analysis and management of the individual subsystems as well as their complex coordination. Huge amounts of data will be generated by the individual subsystems for integration and analysis. Examples include integrated vehicle systems, interacting medical devices, energy management in houses as well as solar cells in the smart grid. This means that CPS are very complex and data-intensive and work in close conjunction with end-users in future smart society.
AkronymDiCyPS
StatusIgangværende
Effektiv start/slut dato01/01/201531/12/2020

Finansiering

  • Innovationsfonden: kr 32.500.000,00

Fingerprint Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.

  • Publikation

    • 2 Konferenceartikel i proceeding
    • 1 Tidsskriftartikel
    • 1 Konferenceartikel i tidsskrift
    Åben adgang
  • On the Metric-Based Approximate Minimization of Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I : Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

    Åben adgang
  • 5 Citationer (Scopus)

    Importance Sampling for Stochastic Timed Automata

    Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
  • 6 Citationer (Scopus)
    166 Downloads (Pure)