Project Details
Description
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.
Layman's description
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.
| Acronym | DiCyPS |
|---|---|
| Status | Finished |
| Effective start/end date | 01/01/2015 → 31/12/2020 |
Funding
- Innovation Fund Denmark: DKK32,500,000.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer, p. 46-66 21 p. (Lecture Notes in Computer Science, Vol. 12152).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Link opens in a new tab Citation (Scopus) -
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Logical Methods in Computer Science.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open Access10 Link opens in a new tab Citations (Scopus)