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