Technologie-Atlas
Tagebau mit Maschinen unter blauem Himmel

Projekt

Frequenzverstärkte Verifikation und Validierung von CPS

Formal Specification Language, Cyber-Physical Systems, Time-frequency Logic, Specification-based Monitoring, Specification Mining, Falsification Analysis, Naturwissenschaften, Informatik, Cyber-Physical Systems

Formal Specification Language, Cyber-Physical Systems, Time-frequency Logic, Specification-based Monitoring, Specification Mining, Falsification Analysis, Naturwissenschaften, Informatik, Cyber-Physical Systems

Weiter entdecken

Ähnliche Beiträge

6 Empfehlungen
Projekt Logic and Artificial Intelligence in the area of Multiagent Systems The goal of the project is research in the area of formalised methods of process modelling enabling us to specify, model, predict… Beitrag ansehen Projekt Formal APPRoach and artificial intElligeNce for the moniToring and Intervention optimization of mobile agents in industrial Sites The APPRENTIS project concerns the safety of industrial or port areas presenting risks (e.g., fire, explosion or toxic leakage).… Beitrag ansehen Projekt A therapeutic software that delivers remote speech therapy to individuals with Parkinson's disease Parkinson’s disease (PD) is the second most common neurological disease worldwide after Alzheimer’s and is the fastest growing on… Beitrag ansehen Projekt Laser Ultraschall für Hardware-Cybersecurity Anwendungen Laser Ultrasonics, Hardware Cybersecurity, Picosecond Ultrasonics, Metrology, Naturwissenschaften, Informatik, Physik, Astronomie… Beitrag ansehen Projekt Optimierte Gitterabtastung und die Geometrie der Zahlen Frames, Gabor systems, Lattices, Time-Frequency Analysis, Packing And Covering, Naturwissenschaften, Mathematik, Analysis, Funkti… Beitrag ansehen Projekt Cell growth in Lab-on-a-Chip devices controlled by Artificial Intelligence In this project, the consortium members will develop an automated system for cell culture optimization based on the combination o… Beitrag ansehen

Passend zu diesem Beitrag

Hochschulen

1 Verknüpfungen

Passend zu diesem Beitrag

Förderungen

1 Verknüpfungen