scientific article; zbMATH DE number 1303061
From MaRDI portal
Publication:4249563
Recommendations
Cited in
(23)- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Local orientation-preserving symmetry preserving operations on polyhedra
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
- Convex polyhedral chains: A representation for geometric data
- Reconstructing orthogonal polyhedra from putative vertex sets
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
- Unbounding discrete oriented polytopes
- Computing the discrete compactness of orthogonal pseudo-polytopes via their \(n\)D-EVM representation
- Data structures for higher-dimensional rectilinear packing
- DEVELOPMENTS OF POLYHEDRA USING OBLIQUE COORDINATES
- scientific article; zbMATH DE number 1670871 (Why is no real title available?)
- The two variable per inequality abstract domain
- Local polyhedra and geometric graphs
- scientific article; zbMATH DE number 1698715 (Why is no real title available?)
- Approximating Continuous Systems by Timed Automata
- Cartesian product partitioning of multi-dimensional reachable state spaces
- Orthogonal surfaces and their CP-orders
- Transformation of geometric models into orthogonal polyhedra using fuzzy logic
- Automata-based symbolic representations of polyhedra
- On the construction of planar embedding for a class of orthogonal polyhedra
- Computation of the axial view of a set of isothetic parallelepipeds
- Reachability computation for polynomial dynamical systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249563)
