Axiom systems for Lipschitz structures
نویسندگان
چکیده
منابع مشابه
channel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
An Observer for Controlled Lipschitz Continuous Systems
In this paper we present an observer for controlled nonlinear systems that are locally Lipschitz continuous in both the state and control variables. This observer is based on a recently introduced model of observer for autonomous Lypschitz continuous systems, and can be designed to realize an arbitrary, finite accuracy when both the state space and control variables evolve in bounded regions. K...
متن کاملNonlinear observers for autonomous Lipschitz continuous systems
This paper considers the state observation problem for autonomous nonlinear systems. An observation mapping is introduced, which is defined by applying a linear integral operator (rather than a differential operator) to the output of the system. It is shown that this observation mapping is well suited to capture the observability nature of smooth as well as nonsmooth systems, and to construct o...
متن کاملOn Axiom Systems of Pseudo-BCK Algebras
A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35
متن کاملAlgebraic structures in Axiom and Isabelle: attempt at a comparison
The hierarchic structures of abstract algebra pose challenges to the module systems of both programming and specification languages. We relate two existing module systems that are designed for this purpose: the type system of the computer algebra system Axiom, and the module system of the theorem prover Isabelle. Abstract algebra has been developed at the beginning of the 20th century and has e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1970
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-66-1-15-24