Branch-and-check Continuous programming Large scale Instances Biped robot Adjustment Cumulative resource Partially Observable Robotique mobile Just-in-time control Bio-impedancemetry Online parameters estimation Nonlinear PDE Timed Petri nets Optimization Observer Discontinuous Galerkin method LiDAR Measurements Bio engineering SLAM IoT Inverse problems Analytical redundancy relationships Partially observed Petri net Biped leg 49Kxx Algebraic description Mobile robots Automated warehouse Discrete-event systems DESs Affectation de position de stockage Computer vision Synchronization Analyse par intervalles Diagnostic State estimation Min-plus algebra Algebra Tropical Algebra + algebra Problème inverse Timed Event Graphs Tropical algebra Max Discrete event systems Cycle time Partial differential equations Observers Estimation Analytical Redundancy Relations Méthode du gradient conjugué Energetic reasoning Stochastic Filtering Apprentis-sage automatique Healthcare Fault diagnosis Bond graph Backdrivability Discrete-event systems Timed event graphs Algorithms Apprentissage par renforcement Parametric identification Idempotent semirings Scheduling Control Identification paramétrique Algebraical approach Linear programming Kalman filter Algebraic form min Bestärkendes Lernen Benders cuts Team Orienteering Automatisches Lager Crop Navigation + automata Linear actuator Interval arithmetic Line extraction Arduino Bi-articular Sliding Horizon Raspberry Pi Conjugate gradient method Max-plus systems Max-plus algebra P-time Petri Nets Interval analysis MQTT Inverse problem LMI Petri nets Weighted timed event graphs WTEGs ALNS Affec-tation dynamique de position Dioids Modeling Optimal control Bond graph modelling Diagnosis