Conditional reachability of uncertain max plus linear systems

DOI10.1016/J.AUTOMATICA.2017.11.030MaRDI QIDQ1797147zbMATH OpenOpenAlexWikidataFDO

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

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

reachabilitydifference-bound matricesinterval analysispiece-wise affine systemsmax-plus linear systemsconditional reachability

Mathematics Subject Classification ID

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

Recommendations

• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Robust control of constrained max-plus-linear systems
• scientific article; zbMATH DE number 2144766
• On Reachability Under Uncertainty
• Reachability analysis for timed automata using max-plus algebra

Cites work

• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 627763 (Why is no real title available?)
• scientific article; zbMATH DE number 2144766 (Why is no real title available?)
• scientific article; zbMATH DE number 2144770 (Why is no real title available?)
• scientific article; zbMATH DE number 5018129 (Why is no real title available?)
• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Discrete event systems with stochastic processing times
• Duality and interval analysis over idempotent semirings
• Duality between invariant spaces for max-plus linear discrete event systems
• Eigenvectors of interval matrices over max--plus algebra
• Equivalence of hybrid dynamical models
• Finite Abstractions of Max-Plus-Linear Systems
• Idempotent interval analysis and optimization problems
• Inferring Min and Max Invariants Using Max-Plus Polyhedra
• Interval systems of max-separable linear equations
• Interval systems of max-separable linear equations
• Interval systems over idempotent semiring
• 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
• Max-Plus Linear Stochastic Systems and Perturbation Analysis
• Model predictive control for perturbed max-plus-linear systems
• Observability and controllability of piecewise affine and hybrid systems
• On a routing problem
• On the Steady-State Control of Timed Event Graphs With Firing Date Constraints
• Reachability analysis for timed automata using max-plus algebra
• Reachability and observability of linear systems over max-plus.
• Robust control of constrained max-plus-linear systems
• \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems

Cited in

(6)

• Computational techniques for reachability analysis of Max-Plus-Linear systems
• On the set-estimation of uncertain max-plus linear systems
• Analysis and control of max-plus linear discrete-event systems: an introduction
• An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs
• Approximately global optimal control for max-plus linear systems and its application on load distribution
• Locally and globally optimal solutions of global optimisation for max-plus linear systems

Describes a project that uses

Uses Software

• VeriSIMPL
• Algorithm 97

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1797147)