1647 articles
La catégorie Cs — Sy explore la synergie fascinante entre la science des systèmes et l'informatique théorique. Ici, les chercheurs modélisent le comportement de réseaux complexes, de l'organisation sociale aux algorithmes distribués, en cherchant à comprendre comment des interactions locales simples peuvent engendrer des phénomènes globaux émergents. C'est un terrain d'étude où les mathématiques pures rencontrent l'informatique pratique pour décrypter la logique sous-jacente aux systèmes dynamiques.
Sur Gist.Science, nous traitons systématiquement chaque nouveau prépublication de cette catégorie depuis arXiv. Notre équipe transforme ces manuscrits techniques en résumés accessibles en langage clair tout en conservant les détails techniques essentiels pour les experts. Cela vous permet de saisir rapidement les avancées majeures sans être submergé par le jargon académique.
Découvrez ci-dessous la sélection la plus récente de ces études, où l'innovation théorique se traduit par des applications concrètes pour notre compréhension du monde connecté.
Cet article présente TRUST-UP, un cadre d'apprentissage par renforcement fiable pour la poursuite par drone qui combine des filtres de sécurité basés sur des fonctions de barrière de contrôle avec une stratégie de commutation transparente afin de garantir un vol autonome prouvablement sûr et certifiable dans des environnements urbains encombrés.
Cet article présente ADAPT, un chariot élévateur tout-terrain entièrement autonome qui intègre une perception pilotée par l'IA aux méthodes de contrôle traditionnelles pour naviguer dans des environnements de construction complexes, démontrant, à travers des tests approfondis en conditions réelles, qu'il peut atteindre des performances proches du niveau humain dans la manutention de matériaux sous diverses conditions météorologiques.
Cet article propose un contrôleur d'inférence active traçable pour la gestion adaptative des signaux de circulation qui surpasse à la fois les heuristiques fondées sur des règles et l'apprentissage par renforcement profond dans des environnements IoT bruités et non stationnaires en minimisant l'énergie libre attendue afin de réduire les temps d'attente et les émissions de CO2.
Cet article propose une méthodologie novatrice qui combine l'identification parcimonieuse de la dynamique non linéaire avec l'allocation de commande non linéaire pour créer un modèle d'efficacité de commande compact, interprétable et adaptatif pour les aéronefs suractionnés, atteignant une performance de haute fidélité et une robustesse face aux défaillances des actionneurs tout en réduisant considérablement les coûts de calcul par rapport aux modèles embarqués traditionnels.
Cet article introduit Search, un cadre heuristique général et rapide basé sur l'optimisation Récompense-Pénalité qui résout efficacement divers problèmes d'extraction de sous-graphes NP-difficiles à travers de multiples domaines, égalant ou surpassant souvent les performances de l'état de l'art avec un ajustement spécifique au problème minimal.
Cet article démontre que le comportement de rétention apparemment stratégique des batteries à l'échelle du réseau sur les marchés de gros de l'électricité peut s'expliquer par une gestion rationnelle des risques sous incertitude de prix, en utilisant un modèle de programmation linéaire reformulé pour montrer comment les niveaux d'état de charge et l'aversion au risque façonnent les courbes d'enchères.
Cet article présente un cadre de calcul haute performance qui réduit considérablement le temps nécessaire pour évaluer et classer l'importance au réseau des unités de production individuelles, permettant ainsi aux planificateurs de puissance d'évaluer rapidement une gamme plus large de scénarios d'adéquation des ressources face au vieillissement des actifs et à la croissance de la charge.
Cet article propose l'apprentissage de la dynamique de Koopman neuronale stable et sensible à l'environnement (ESNKD), un cadre unifié qui intègre des encodeurs de fibrés, des ODE neuronales conditionnées par l'entrée, la synthèse de contraction et le lever de Koopman afin de fournir des garanties rigoureuses de stabilité et de stabilité entrée-état pour les systèmes non linéaires opérant sous des contraintes environnementales variables.
Le document présente CORD-SLS, un cadre de contrôle en temps réel qui combine un simulateur différentiable parallélisé sur GPU avec une commande prédictive robuste et la prédiction conforme pour parvenir à une manipulation sûre, rapide et certifiée d'objets déformables tels que des cordes et du tissu sous incertitude.
Cet article évalue la précision positionnelle à court horizon de trois modèles de véhicules à voie unique par rapport à des mesures réelles afin d'élucider les compromis entre la complexité du modèle, la qualité de la paramétrisation et la précision pour une sélection de modèles éclairée dans la planification de mouvement des véhicules autonomes.