Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
From MaRDI portal
Publication:5736317
DOI10.2307/1993703zbMath0123.29302OpenAlexW4235645976MaRDI QIDQ5736317
P. Mendelson, D. C. jun. Lewis
Publication date: 1964
Full work available at URL: https://doi.org/10.2307/1993703
Related Items (28)
The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem ⋮ Interpretations of open default theories in non-monotonic logics ⋮ A temporal logic-based approach for the description of object behavior evolution ⋮ Computation of Aristotle's and Gergonne's syllogisms ⋮ Computable functionals and arithmetic of ordinal types ⋮ Normal predicative logics with graded modalities ⋮ On categories of infinite automata ⋮ Arithmetic based on the Church numerals in illative combinatory logic ⋮ Axiomatic data type specifications: A first order theory of linear lists ⋮ Constructing integer programming models by the predicate calculus ⋮ Multiparametric dissipative linear stationary dynamical scattering systems: Discrete case. II: Existence of conservative dilations ⋮ Probabilistic verification of proofs in calculuses ⋮ Variants of Rescher's semantics for preference logic and some completeness theorems ⋮ A proof of Hume's separation thesis based on a formal system for descriptive and normative statements ⋮ Adverbs and events ⋮ The elementary theory of algebraic fields of finite corank ⋮ The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) ⋮ For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) ⋮ On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) ⋮ Numerical evaluation of the validity of experimental proofs in biology ⋮ The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) ⋮ Alternative semantics for quantified first degree relevant logic ⋮ Birkhoff'sche und kategorische Algebra ⋮ The automation of syllogistic. II: Optimization and complexity issues ⋮ Definability, decidability, complexity ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Theorems on preservation of relations in K-spaces ⋮ The inevitability of inconsistent abstract spaces
Cites Work
This page was built for publication: Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
