CPS Summit 2016 Vienna, Austria | April 10, 2016 | Co-located with CPS Week 2016
The goal of the CPS Summit workshop is to concretize results of the first CPS Summit workshop in Seattle on identifying opportunities for intensifying the collaboration on CPS research and development between North America and Europe; we will work towards the following results:
Evaluation of smart grid in the presence of dynamic market-based pricing and complex network of small and large producers, consumers, and distributers is very difficult task. Not only it involves multiple, interacting, heterogeneous cyber-physical domains, it also requires tight integration of power markets, dynamic pricing and transactions, price-sensitive consumer behavior, who may also be producers of power.
IEEE Technical Committee on Cybernetics for Cyber-Physical Systems
The Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS) aims at promoting interdisciplinary research and education in the field of CPS. CCPS addresses the close interactions and feedback loop between the cyber components such as embedded computing systems and the physical components such as varying environment and mechanical systems.
Sound Science & Technology for Engineering Trustworthy Cyber-Physical Systems
CPS are a core enabling technology for securing economic leadership in embedded systems and ICT, having an enormous social and economic importance, and making decisive contributions to societal challenges.
Holistic model-based design methods of future cyber-physical systems with a special focus on unifying control design with formal verification.
The overall goal in UnCoVerCPS is to develop holistic model-based design
methods of future cyber-physical systems with a special focus on researching
essentially new methods to guarantee safety and reliability in (partially)
unknown environments. This is realised by a cross-domain approach for
synthesising and verifying controllers on-the-fly, i.e. during operation. In
order to quickly react to situations that become critical, a tight
integration between the control software and the verification software is
