Derniers articles pour Ingénierie des systèmes

Cet article parle des techniques pour estimer avec précision les probabilités d'événements rares.

Explore le rôle des bisimulations dans la simplification des modèles complexes dans différents domaines.

Un aperçu de la conception basée sur des contrats pour les systèmes hybrides et leurs complexités.

Une nouvelle méthode pour l'apprentissage continu dans les systèmes d'IA qui améliore la rétention des connaissances.

Utiliser des supermartingales pour garantir la sécurité et l'efficacité des systèmes stochastiques.

Découvre comment l'abstraction paresseuse et le BRTDP améliorent l'efficacité de l'analyse MDP.

Cet article parle de l'utilisation de certificats et de témoins pour vérifier des requêtes multi-objectifs dans les MDPs.

Une nouvelle approche pour quantifier l'incertitude dans les systèmes en utilisant les MDP.

Apprends comment les invariants contrôlés assurent la sécurité dans différents systèmes à temps continu.

Apprends comment la bisimulation peut rendre la vérification de systèmes complexes plus facile.

De nouvelles méthodes améliorent la vitesse de surveillance des formules STL complexes en utilisant le gel de valeurs.

Ce papier évalue le rôle des LLMs dans la modélisation efficace des exigences des CPS.

Un aperçu des réseaux temporels disjoints et de leurs méthodes de vérification.

Enquête sur le comportement et la stabilité des systèmes de contrat et leurs applications.

Explorer des raccourcis vers l'adiabaticité pour des transitions système plus rapides sans perte d'énergie.

Cet article explique la planéité et la planéité avant dans le contrôle des systèmes en utilisant des tests géométriques.

Des chercheurs développent des stratégies de contrôle prédictif pour des systèmes non linéaires grâce à des techniques de transformée de signature.

Une méthode pour concevoir des entrées de contrôle pour une collecte de données efficace et une précision du modèle.

Explore l'importance de la stabilité dans les systèmes en réseau et leurs applications.

Apprends comment les designs basés sur les données améliorent les contrôleurs dans les systèmes à grande échelle.

Les explications contrefactuelles aident à déchiffrer les bugs des systèmes en temps réel.

Découvrez comment la communication asynchrone améliore l'interaction et l'efficacité des systèmes.

Apprends comment les prédicteurs améliorent la fiabilité des systèmes adaptatifs modernes.

Une nouvelle approche pour vérifier le comportement des systèmes en utilisant des classements implicites.

Découvre comment ROMAS organise les agents pour une gestion efficace des bases de données.

Découvre comment une recherche tolérante aux pannes améliore la fiabilité du réseau.

Une plongée profonde dans les algèbres de circuits et leurs applications dans le monde réel.