Results 1  10
of
144,924
Involution and Symmetry Reductions
 Math. Comp. Model
, 1995
"... After reviewing some notions of the formal theory of differential equations we discuss the completion of a given system to an involutive one. As applications to symmetry theory we study the effects of local solvability and of gauge symmetries, respectively. We consider nonclassical symmetry reducti ..."
Abstract

Cited by 7 (5 self)
 Add to MetaCart
After reviewing some notions of the formal theory of differential equations we discuss the completion of a given system to an involutive one. As applications to symmetry theory we study the effects of local solvability and of gauge symmetries, respectively. We consider nonclassical symmetry
Symmetry Reduction, Gauge Transformation
, 2001
"... We study a mechanism of symmetry reduction in a higherdimensional field theory upon orbifold compactification. Split multiplets appear unless all components in a multiplet of a symmetry group have a common parity on an orbifold. A gauge transformation property is also examined. 1 ..."
Abstract
 Add to MetaCart
We study a mechanism of symmetry reduction in a higherdimensional field theory upon orbifold compactification. Split multiplets appear unless all components in a multiplet of a symmetry group have a common parity on an orbifold. A gauge transformation property is also examined. 1
Virtual Symmetry Reduction
 In Logic in Computer Science (LICS
, 2000
"... We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes. The method applies to systems whose structures (i.e., state transition graphs) have more state symmetries than arc sy ..."
Abstract

Cited by 27 (4 self)
 Add to MetaCart
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes. The method applies to systems whose structures (i.e., state transition graphs) have more state symmetries than arc
Adding Symmetry Reduction to UPPAAL
, 2004
"... We describe a prototype extension of the Uppaal realtime model checking tool with symmetry reduction. The symmetric data type scalarset, which is also used in the Mur' model checker, was added to Uppaal's system description language to support the easy static detection of symmetries. O ..."
Abstract

Cited by 25 (4 self)
 Add to MetaCart
We describe a prototype extension of the Uppaal realtime model checking tool with symmetry reduction. The symmetric data type scalarset, which is also used in the Mur' model checker, was added to Uppaal's system description language to support the easy static detection of symmetries
Adaptive symmetry reduction
 In ComputerAided Verification (CAV
, 2007
"... Abstract. Symmetry reduction is a technique to counter state explosion for systems of regular structure. It relies on idealistic assumptions about indistinguishable components, which in practice may only be similar. In this paper we present a flexible algebraic approach to symmetry reduction for exp ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
Abstract. Symmetry reduction is a technique to counter state explosion for systems of regular structure. It relies on idealistic assumptions about indistinguishable components, which in practice may only be similar. In this paper we present a flexible algebraic approach to symmetry reduction
Symmetry reduction without transversality
, 1999
"... We present a generalization of Lie’s method for finding the group invariant solutions to a system of partial differential equations. Our generalization relaxes the standard transversality assumption and encompasses the common situation where the reduced differential equations for the group invaria ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
reduction diagrams and are illustrated by a number of examples from fluid mechanics, harmonic maps, and general relativity. This work also provides the theoretical foundations for a further detailed study of Lie symmetry reduction.
Symmetry Reduction of Partially Symmetric Systems
"... Previous research into symmetry reduction techniques have shown them to be successful in combatting the statespace explosion problem. We provide a brief overview of a fully automated technique for the application of symmetry reduction to partially symmetric systems. 1 ..."
Abstract
 Add to MetaCart
Previous research into symmetry reduction techniques have shown them to be successful in combatting the statespace explosion problem. We provide a brief overview of a fully automated technique for the application of symmetry reduction to partially symmetric systems. 1
Symmetry Reduction Algorithms For Data Symmetries
, 2002
"... The core problem in the symmetry reduction method for state space analysis is to decide whether two states are symmetric or to produce a symmetric representative state for a state. This report presents algorithms for the problem under data symmetries. The setting covers systems described in the Mur# ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The core problem in the symmetry reduction method for state space analysis is to decide whether two states are symmetric or to produce a symmetric representative state for a state. This report presents algorithms for the problem under data symmetries. The setting covers systems described in the Mur
Symmetry Reduction by Lifting for Maps
, 2011
"... We study diffeomorphisms that have oneparameter families of continuous symmetries. For general maps, in contrast to the symplectic case, existence of a symmetry no longer implies existence of an invariant. Conversely, a map with an invariant need not have a symmetry. We show that when a symmetry fl ..."
Abstract
 Add to MetaCart
We study diffeomorphisms that have oneparameter families of continuous symmetries. For general maps, in contrast to the symplectic case, existence of a symmetry no longer implies existence of an invariant. Conversely, a map with an invariant need not have a symmetry. We show that when a symmetry
Results 1  10
of
144,924