Conditional reachability of uncertain max plus linear systems

DOI10.1016/J.AUTOMATICA.2017.11.030zbMATH Open1401.93027OpenAlexW2807366156WikidataQ129761649 ScholiaQ129761649MaRDI QIDQ1797147FDOQ1797147

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

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

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)

Cites Work

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

Cited In (6)

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

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)