Conditional reachability of uncertain max plus linear systems

DOI10.1016/j.automatica.2017.11.030zbMath1401.93027OpenAlexW2807366156WikidataQ129761649 ScholiaQ129761649MaRDI QIDQ1797147

Laurent Hardouin, Mehdi Lhommeau, Rafael Santos Mendes, Renato Markele Ferreira Cândido

Publication date: 17 October 2018

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2017.11.030

zbMATH Keywords

reachabilityinterval analysisdifference-bound matricespiece-wise affine systemsmax-plus linear systemsconditional reachability

Mathematics Subject Classification ID

Control/observation systems with incomplete information (93C41) Linear systems in control theory (93C05) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03) Attainable sets, reachability (93B03) Software, source code, etc. for problems pertaining to systems and control theory (93-04)

Related Items (2)

Analysis and control of max-plus linear discrete-event systems: an introduction ⋮ Approximately global optimal control for max-plus linear systems and its application on load distribution

Uses Software

• VeriSIMPL
• Algorithm 97

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
• Reachability analysis for timed automata using max-plus algebra
• Interval systems over idempotent semiring
• Duality and interval analysis over idempotent semirings
• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Eigenvectors of interval matrices over max--plus algebra
• Observability and controllability of piecewise affine and hybrid systems
• On the Steady-State Control of Timed Event Graphs With Firing Date Constraints
• Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
• On a routing problem
• Max-Plus Linear Stochastic Systems and Perturbation Analysis
• Discrete event systems with stochastic processing times
• Inferring Min and Max Invariants Using Max-Plus Polyhedra
• Robust control of constrained max-plus-linear systems
• Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
• Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs
• Finite Abstractions of Max-Plus-Linear Systems
• Equivalence of hybrid dynamical models
• Idempotent interval analysis and optimization problems
• Interval systems of max-separable linear equations
• Model predictive control for perturbed max-plus-linear systems
• Interval systems of max-separable linear equations

This page was built for publication: Conditional reachability of uncertain max plus linear systems