Copertina

The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Roumage, Guillaume, Azaiez, Selma, Faure, Cyril, Louise, Stéphane
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints
di: Roumage, Guillaume, et al.
Pubblicazione: (2025)

An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication
di: Roumage, Guillaume, et al.
Pubblicazione: (2025)

Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks
di: Incer, Inigo, et al.
Pubblicazione: (2024)

Hybrid Autonomy Framework for a Future Mars Science Helicopter
di: Di Pierno, Luca, et al.
Pubblicazione: (2025)

Specifying and Verifying RDMA Synchronisation (Extended Version)
di: Ambal, Guillaume, et al.
Pubblicazione: (2026)

Using Seminorms To Analyze Contraction of Switched Systems With Only Non-Contracting Modes
di: Baum, Edwin, et al.
Pubblicazione: (2025)

A Graph Theoretic Approach in Combination With Dynamic Mode Decomposition With Control (DMDc) to Analyze Battery Degradation
di: Labib, Khalid Mahmud, et al.
Pubblicazione: (2026)

Scenario Approach with Post-Design Certification of User-Specified Properties
di: Carè, Algo, et al.
Pubblicazione: (2026)

Real-time Adaptation for Condition Monitoring Signal Prediction using Label-aware Neural Processes
di: Chung, Seokhyun, et al.
Pubblicazione: (2024)

Research on Sectionalizing Switches Placement Problem of Distribution System Automation Based on Multi-Objective Optimization Analysis
di: Khavar, Selma Cheshmeh, et al.
Pubblicazione: (2025)

The OAPS solution: a real-time predictive system for flexible PWR operation
di: Dupré, Guillaume, et al.
Pubblicazione: (2026)

Robust Helicopter Ship Deck Landing With Guaranteed Timing Using Shrinking-Horizon Model Predictive Control
di: Schitz, Philipp, et al.
Pubblicazione: (2026)

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
di: Jahandideh, Iman, et al.
Pubblicazione: (2019)

UX-aware Rate Allocation for Real-Time Media
di: Korany, Belal, et al.
Pubblicazione: (2025)

Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds
di: Schitz, Philipp, et al.
Pubblicazione: (2026)

The Syncline Model -- Analyzing the Impact of Time Synchronization in Sensor Fusion
di: Jellum, Erling Rennemo, et al.
Pubblicazione: (2022)

Leveraging Eclipse MOSAIC for Modeling and Analyzing Ride-Hailing Services
di: Schrab, Karl, et al.
Pubblicazione: (2024)

Comparison of Model Predictive Control and Proximal Policy Optimization for a 1-DOF Helicopter System
di: Schäfer, Georg, et al.
Pubblicazione: (2024)

Fault Detection and Tolerant Control for Aero2 2D0F Two-rotor Helicopter
di: Dandago, Khalid Kabir, et al.
Pubblicazione: (2024)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
di: Gatherer, Alan, et al.
Pubblicazione: (2024)

Model-free Dynamic Mode Adaptive Control using Matrix RLS
di: Oveissi, Parham, et al.
Pubblicazione: (2025)

TSO-DSO Coordinated Reactive Power Dispatch for Smart Inverters with Multiple Control Modes Real-Time Implementation
di: Almomani, Mohammad, et al.
Pubblicazione: (2026)

Real-time Estimation of DoS Duration and Frequency for Security Control
di: Sun, Yifan, et al.
Pubblicazione: (2023)

Model-Free Dynamic Mode Adaptive Control for Data-Driven Control Synthesis
di: Oveissi, Parham, et al.
Pubblicazione: (2026)

Balancing Operators Risk Averseness in Model Predictive Control for Real-time Reservoir Flood Control
di: Koo, Ja-Ho, et al.
Pubblicazione: (2024)

A Sampling Complexity-aware Framework for Discrete-time Fractional-Order Dynamical System Identification
di: Zhang, Xiaole, et al.
Pubblicazione: (2025)

Cooperative and Interaction-aware Driver Model for Lane Change Maneuver
di: Woo, Jemin, et al.
Pubblicazione: (2024)

Experimental Modal Analysis for engineering structures via time-delay Dynamic Mode Decomposition with Control
di: Si, Yanxin, et al.
Pubblicazione: (2026)

Analyzing Errors in Controlled Turret System
di: Karlson, Matthew, et al.
Pubblicazione: (2024)

Real-time Gaussian Process based Approximate Model Predictive Trajectory Tracking Control for Autonomous Vehicles
di: Rose, Alexander, et al.
Pubblicazione: (2026)

Analyzing the Role of the DSO in Electricity Trading of VPPs via a Stackelberg Game Model
di: Wang, Peng, et al.
Pubblicazione: (2025)

Investigation of lightning effects on solar power plants connected to transmission networks
di: Grebovic, Selma, et al.
Pubblicazione: (2025)

Analyzing the Impact of Demand Response on Short-Circuit Current via a Unit Commitment Model
di: Wang, Peng, et al.
Pubblicazione: (2025)

Perception-latency aware distributed target tracking
di: Aldana-López, Rodrigo, et al.
Pubblicazione: (2024)

Adaptive Dead-Zone Dual Sliding Mode Observer for Reliable Electrochemical Model-Based SOC Estimation
di: Hu, Guangdi, et al.
Pubblicazione: (2025)

The Price of Simplicity: Analyzing Decoupled Policies for Multi-Location Inventory Control
di: John, Yohan, et al.
Pubblicazione: (2025)

Analyzing the Impact of Computation in Adaptive Dynamic Programming for Stochastic LQR Problem
di: Cao, Wenhan, et al.
Pubblicazione: (2024)

Neural Co-state Projection Regulator: A Model-free Paradigm for Real-time Optimal Control with Input Constraints
di: Lian, Lihan, et al.
Pubblicazione: (2025)

Real-time MPC with Control Barrier Functions for Autonomous Driving using Safety Enhanced Collocation
di: Allamaa, Jean Pierre, et al.
Pubblicazione: (2024)

Real-time Estimation of Bound Water Concentration during Lyophilization with Temperature-based State Observers
di: Srisuma, Prakitr, et al.
Pubblicazione: (2024)