Computational techniques for reachability analysis of Max-Plus-Linear systems
From MaRDI portal
Publication:2409446
Recommendations
- Reachability analysis for timed automata using max-plus algebra
- Conditional reachability of uncertain max plus linear systems
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
- scientific article; zbMATH DE number 2144766
- Bounded model checking of max-plus linear systems via predicate abstractions
Cites work
- A theory of timed automata
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Computational techniques for hybrid system verification
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
- Equivalence of hybrid dynamical models
- Finite Abstractions of Max-Plus-Linear Systems
- Formal Methods for the Design of Real-Time Systems
- scientific article; zbMATH DE number 3570223 (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 5018129 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 5244590 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Nonlinear regulation: The piecewise linear approach
- On a routing problem
- On the ultimate behaviour of the sequence of consecutive powers of a matrix in the max-plus algebra
- Performance evaluation of job-shop systems using timed event-graphs
- Reachability analysis for timed automata using max-plus algebra
- Reachability Analysis of Hybrid Systems Using Support Functions
- Reachability and observability of linear systems over max-plus.
- REACHABILITY PROBLEMS FOR PRODUCTS OF MATRICES IN SEMIRINGS
- Scheduling with timed automata
- The Minkowski theorem for max-plus convex sets
- Transience bounds for distributed algorithms
- Transience bounds for long walks
Cited in
(18)- Conditional reachability of uncertain max plus linear systems
- Bounded model checking of max-plus linear systems via predicate abstractions
- Analysis and control of max-plus linear discrete-event systems: an introduction
- Global optimization for max-plus linear systems and applications in distributed systems
- Sparsity in max-plus algebra and systems
- 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
- Local and global robustness with \(q\)-step delay for max-plus linear systems
- Reachability analysis for timed automata using max-plus algebra
- scientific article; zbMATH DE number 2144766 (Why is no real title available?)
- Modeling and analysis of switching max-plus linear systems with discrete-event feedback
- Relatively maximal perturbation bounds for global robustness of max‐plus linear systems
- SMT-based model checking of max-plus linear systems
- Properties of morphological dilation in max-plus and plus-prod algebra in connection with the Fourier transformation
- On the set-estimation of uncertain max-plus linear systems
- State geometric adjustability for interval max-plus linear systems
- Weakly robust global optimization of max-plus linear systems with non-negative constraint sets and its application to optimizing time parameters in data transmission systems
- SMT-based and fixed-point approaches for state estimation in max-plus linear systems
This page was built for publication: Computational techniques for reachability analysis of Max-Plus-Linear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409446)
