Filtry
Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů. (OC10048)
Develop theory, algorithms, and software for the efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems.......
IN - Informatika
- 2010 - 2012 •
- 1 641 tis. Kč •
- 1 318 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (80%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
European Initiative to Enable Validation for Highly automated Safe and Secure Systems - ENABLE-S3 (8A16006)
Development of the validation system for highly automated safe and secure systems, automotive, railways, navy , aerospace, farming, health. Automation of the system validation - "virtual reality".......
JD - Využití počítačů, robotika a její aplikace
- 2016 - 2019 •
- 14 017 tis. Kč •
- 4 124 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2016 - 30. 4. 2019
Uznané náklady
Podpora ze státního rozpočtu (29%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Aggregate Farming in the Cloud (8A18003)
AFarCloud will provide a distributed platform for autonomous farming that will allow the integration and cooperation of agriculture Cyber Physical Systems in real-time in order to increase efficiency, productivity, animal h...
Automation and control systems
- 2018 - 2021 •
- 9 362 tis. Kč •
- 3 748 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2018 - 30. 11. 2021
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Aggregated Quality Assurance for Systems (8A17002)
JU MASRIA 2016: Design Technologies (DT), Cyber-Physical Systems (CPS), andThe AQUAS project investigates the challenges arising from the inter-dependence of safety, security and performance of systems and aims at...
IN - Informatika
- 2017 - 2020 •
- 10 992 tis. Kč •
- 2 749 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2017 - 30. 4. 2020
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Chytré kyber-fyzikální systémy realizované pomocí ansámblů autonomních softwarových komponent (LD15051)
Projekt si klade za cíl posílení základního výzkumu a mezinárodní spolupráce v rámci COST akce „Multi-Paradigm Modelling for Cyber-Physical Systems“. Předpokládá se posílení základního výzkumu a zvýšení potenciálu využití j...
IN - Informatika
- 2015 - 2017 •
- 1 632 tis. Kč •
- 1 632 tis. Kč •
- MŠMT
Řešení projektu: 29. 10. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (8A16001)
AMASS project will develop an integrated and holistic approach and supporting tools for assurance and certification of CPS by creating and consolidating the first European-wide open certification/qualification platform, ecosystem and community spanni...
JU - Aeronautika, aerodynamika, letadla
- 2016 - 2019 •
- 19 586 tis. Kč •
- 4 717 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2016 - 31. 3. 2019
Uznané náklady
Podpora ze státního rozpočtu (24%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Aggregate Farming in the Cloud (8A18004)
AFarCloud will provide a distributed platform for autonomous farming that will allow the integration and cooperation of agriculture Cyber Physical Systems in real-time in order to increase efficiency, productivity, animal h...
Robotics and automatic control
- 2018 - 2021 •
- 15 081 tis. Kč •
- 9 804 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2018 - 31. 8. 2021
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Aggregate Farming in the Cloud (8A18006)
The goal of the project is to develop mechanisms for control of (edge-) cloud processing of sensor and situational data in the smart farming applications.......
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2021 •
- 9 710 tis. Kč •
- 6 312 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2018 - 30. 11. 2021
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Leverage synergy by cyber-physical systems for the convergence of the eco systems mobility, infrastructure and energy in the circular economy for the Society 5.0 (9A24004)
Improvements on safety and security issues, collision avoidance and situationawareness. Radar implementation on a machine or industrial tool (robot arm, manipulator, conveyor) to protect human and assets. Machine learning, NN modeling and simulation ...
Electrical and electronic engineering
- 2024 - 2027 •
- 9 833 tis. Kč •
- 2 458 tis. Kč •
- MŠMT
Řešení projektu: 1. 9. 2024 - 31. 8. 2027
Uznané náklady
Podpora ze státního rozpočtu (25%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (8A16002)
complex Cyber-Physical Systems (CPS) has led to many initiatives to promote reuse andEmbedded systems have significantly increased in technical complexity towards open, interconnected systems. This has ex...
IN - Informatika
- 2016 - 2019 •
- 3 894 tis. Kč •
- 3 894 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2016 - 31. 3. 2019
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 1 854