The following pages link to Mathematical Systems Theory (Q3026825):
Displayed 50 items.
- Controlled invariance for hamiltonian systems (Q3770365) (← links)
- Differential geometry of a parametric family of invertible linear systems—Riemannian metric, dual affine connections, and divergence (Q3770366) (← links)
- Uniform simulations of nondeterministic real time multitape turing machines (Q3771615) (← links)
- On finite volterra series which admit hamiltonian realizations (Q3773418) (← links)
- Iterated linear control and iterated one-turn pushdowns (Q3776663) (← links)
- On the stability of asynchronous iterative processes (Q3777342) (← links)
- On relativizations with restricted number of accesses to the oracle set (Q3779739) (← links)
- Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772) (← links)
- A new normal form for the compositions of morphisms and inverse morphisms (Q3779774) (← links)
- The equivalence of deterministic gsm replications onQ-rational languages is decidable (Q3779775) (← links)
- Invertibility of quantum-mechanical control systems (Q3780830) (← links)
- Realizations of nonlinear analytic input-output maps (Q3780929) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- State representations form-D systems with generalized causality structures (Q3783888) (← links)
- Prolongations and stability analysis via lyapunov functions of dynamical polysystems (Q3783917) (← links)
- A variation on the min cut linear arrangement problem (Q3785979) (← links)
- OnP-subset structures (Q3789542) (← links)
- On the small time behavior of the nonlinear estimation problem for finite bandwidth signals (Q3795577) (← links)
- Zeros at infinity for nonlinear discrete time systems (Q3804546) (← links)
- A complexity calculus for recursive tree algorithms (Q3806812) (← links)
- Equivalence of input-output stability and exponential stability for infinite-dimensional systems (Q3807094) (← links)
- Minimum-diameter cyclic arrangements in mapping data-flow graphs onto VLSI arrays (Q3809272) (← links)
- Sublogarithmic-space turing machines, nonuniform space complexity, and closure properties (Q3811712) (← links)
- Local accessibility, local reachability, and representations of compact groups (Q3815931) (← links)
- Local system equivalence (Q3815936) (← links)
- A second step toward the strong polynomial-time hierarchy (Q3816982) (← links)
- Exact linearization of nonlinear systems with outputs (Q3818877) (← links)
- Realization theory in Hilbert space (Q3822015) (← links)
- Synthesis of 165-1165-1165-1-optimal linear feedback systems (Q3822029) (← links)
- A convolution method for inverse heat conduction problems (Q3828432) (← links)
- On problems for which no oracle can help (Q3829070) (← links)
- Variants of top-down tree transducers with look-ahead (Q3832064) (← links)
- Functional expansions for nonlinear discrete-time systems (Q3832412) (← links)
- Actor grammars (Q3833641) (← links)
- Absolute results concerning one-way functions and their applications (Q3833992) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- Indecomposable local maps of tessellation automata (Q3856103) (← links)
- Single-input observability of continuous-time systems (Q3856499) (← links)
- A difference in expressive power between flowcharts and recursion schemes (Q3860819) (← links)
- On relativizing auxiliary pushdown machines (Q3862402) (← links)
- Satisfiability problems for propositional calculi (Q3864500) (← links)
- Restricted one-counter machines with undecidable universe problems (Q3864502) (← links)
- Predicting the future of functions on flows (Q3866850) (← links)
- Euclidean controllable realizations of linear hereditary systems (Q3872277) (← links)
- A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings (Q3872452) (← links)
- Dolezal's theorem revisited (Q3872587) (← links)
- Realization algorithms for systems over a principal ideal domain (Q3877484) (← links)
- Storage representations for tree-like data structures (Q3878744) (← links)
- Three write heads are as good ask (Q3878760) (← links)
- On comparingLL(k) andLR(k) grammars (Q3878763) (← links)