17 problems
- 0 votes0 replies0 views
The common-ground conjecture on strong standard canonical form for regular DAEs
The common-ground conjecture. The pair is transformable into strong standard canonical form, and the Jordan normal form of its constant nilpotent matrix consists exac…
- 0 votes0 replies0 views
Canonical Jordan block structure conjecture for regular differential-algebraic equations
Let be sufficiently smooth, and let be a regular pair with index . Write for the dimension of the differe…
- 0 votes0 replies0 views
Decomposition conjecture for maximally monotone structures
A maximally monotone structure is a structure with the maximal-monotonicity property in the port-Hamiltonian framework. A Dirac structure represents a power-conserving interconnect…
- 0 votes0 replies1 view
Constraint-room conjecture for singular differential-algebraic systems
Let be a singular differential-algebraic system and let and the constraint-room relation be as defined in the paper. Constraint-room conjecture. The relation … holds…
- 0 votes0 replies0 views
Canonical skew-adjoint representation conjecture for differential operator Dirac structures
Let and define a differential operator Dirac structure as above. A differential operator Dirac structure defined by a pair…
- 0 votes0 replies1 view
Higher-degree preference conjecture for smooth differential-algebraic problems
Higher-degree preference conjecture. For smooth problems, using a higher degree is preferable to using a larger number of subintervals, or equivalently a smaller stepsize…
- 0 votes0 replies0 views
Hiskens's complementary impasse-surface avoidance conjecture for static loads
Let be the set of load buses, with and denoting the active-power load parameters and and denoting the reactive-power load parameters…
- 0 votes0 replies0 views
Hiskens's impasse-surface avoidance conjecture for static-load power systems
Suppose Assumption 1 and Assumption 2 hold. Consider a differential-algebraic equation system with all loads purely static. Let denote the generator buses and the…
- 0 votes0 replies0 views
Hiskens's generic impasse-surface avoidance conjecture for power-system DAEs
Let a power-system differential-algebraic equation model satisfy the assumptions used in the paper, and let the condition obtained for the specific four-bus system be given. Hisken…
- 0 votes0 replies0 views
Nonlinear splicing conditions for advanced delay differential-algebraic equations
Nonlinear splicing conjecture. A similar analysis of splicing conditions is possible for the nonlinear case as well.
- 0 votes0 replies0 views
Conjecture on overdetermined collocation for differential-algebraic equations
Let be the polynomial degree, and let be the number of collocation points per subinterval in an overdetermined least-squares collocation method for a differential-alg…
- 0 votes0 replies0 views
Conjecture on reliable direct numerical treatment of differential-algebraic equations
Differential-algebraic equations (DAEs) are equations involving differential-algebraic operators, and derivative-array methods are existing numerical methods for their treatment. A…
- 0 votes0 replies0 views
Generalization of optimal-control results to non-regular differential-algebraic equations
The paper studies optimal control for differential-algebraic equations, including feedback representations for regular DAEs. Non-regular DAE conjecture. Similar results can also be…
- 0 votes0 replies1 view
Conjecture on the degree-of-freedom interpretation of the DAE signature value
Degree-of-freedom conjecture. A DAE formulation friendly to structural analysis should have a reasonable but never overestimated value tha…
- 0 votes0 replies0 views
Conjecture that decreasing the signature value improves DAE formulations for structural analysis
Signature-decrease conjecture. Based on experience, such a decrease tends to give a better formulation of a DAE from the perspective of structural analysis.
- 0 votes0 replies0 views
Conversion methods conjecture for improving structural analysis of differential-algebraic equations
Let a differential-algebraic equation system be reformulated by one of the conversion methods described in the paper, and suppose the conversion decreases the value of its signatur…
- 0 votes0 replies0 views
Non-flatness conjecture for the ruled system in equation (4)
Consider the system over defined by … It is ruled, meaning that each fiber is a union of lines, so the known necessary condition for flatness doe…