Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
Les systèmes cyber-physiques (Cyber Physical Systems, CPS) consistent en des systèmes informatiques qui contrôlent les processus physiques. Les dispositifs médicaux, les voitures autonomes et les robots en sont des exemples. En raison de la complexité et de l'hétérogénéité de leurs composants, il n'est pas toujours possible de dériver des modèles mathématiques pour de tels systèmes et les approches de conception basées sur les données sont donc une alternative cruciale. Cette thèse est construite sur des extensions de deux formalismes de spécification, la logique temporelle du signal (Signal Temporal Logic STL) et les expressions régulières temporisées (Timed Regular Expressions TRE), qui sont expressifs pour décrire les aspects temporels des comportements CPS et en outre adaptés à des fins de surveillance et de validation.STL est une logique temporelle adaptée pour spécifier les propriétés des signaux à valeurs réelles. Nous étendons la logique avec des opérateurs pour compter les événements. Ils peuvent être utilisés, par exemple, pour compter les impulsions d'électrocardiogramme (ECG). Les spécifications paramétriques (telles qu'écrites en STL paramétrique, PSTL) sur les signaux, lorsque des paramètres sont fixés, peuvent être considérées comme des prédicteurs qui indiquent à quels endroit d'un signal un motif temporel se produit. Nous appelons prédicteurs de modèles paramétriques croissants (Increasing Parametric Pattern Predictors IPPP) des spécifications paramétriques qui deviennent de plus en plus faciles à satisfaire à mesure que les valeurs des paramètres augmentent. Nous proposons une méthode pour apprendre des prédicteurs en trouvant des paramètres d'IPPP qui produisent un prédicteur presque aussi précis que le signal d'étiquetage donné par les experts, utilisé pour l'entrainement. Nous introduisons une mesure appelée epsilon-count pour quantifier la précision de la prédiction. Pour les IPPP, la diminution des faux positifs et des faux négatifs implique l'optimisation d'objectifs opposées. Nous ...