Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
17.7% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Proof-Theoretical Coherence
Kosta Dosen
,
Zoran Petric
categories
category
arrow
coherence
equations
mix
lattice
arrows
lemma
zero
equation
logical
functor
gentzen
prove
elimination
distributive
proofs
induction
cases
obtained
occurrence
preorder
equal
defined
formula
symmetric
isomorphic
composition
proceed
define
analogously
syntactical
definition
proposition
occurrences
dicartesian
formulae
monoidal
letter
γ2
suppose
isomorphism
γ1
maximality
strictification
first
atomic
preceding
semilattice
Year:
2015
Language:
english
File:
PDF, 1.29 MB
Your tags:
0
/
0
english, 2015
2
Constructions of Strict Lyapunov Functions
Springer-Verlag London
Michael Malisoff
,
Frédéric Mazenc (auth.)
function
lyapunov
systems
functions
strict
theorem
positive
varying
iss
x̃
assumption
satisfies
ẋ
continuous
dynamics
stability
ỹ
θ̃
definite
lemma
trajectories
assume
bounded
nonlinear
feedback
global
v̇
consider
construct
assumptions
backstepping
α1
hybrid
ugas
constants
explicit
input
satisfied
matrosov
satisfying
m̄
discrete
first
inequality
sect
α2
negative
linear
γm
defined
Year:
2009
Language:
english
File:
PDF, 3.20 MB
Your tags:
0
/
0
english, 2009
3
Constructions of strict Lyapunov functions
Springer-Verlag London
Michael Malisoff
,
Frédéric Mazenc (auth.)
function
lyapunov
systems
functions
strict
theorem
positive
varying
iss
x̃
assumption
satisfies
ẋ
continuous
ỹ
stability
dynamics
definite
lemma
trajectories
assume
bounded
nonlinear
feedback
v̇
consider
global
backstepping
construct
hybrid
α1
input
assumptions
constants
ugas
satisfying
m̄
satisfied
discrete
matrosov
first
explicit
α2
negative
inequality
sect
γm
linear
defined
stable
Year:
2009
Language:
english
File:
PDF, 2.07 MB
Your tags:
0
/
0
english, 2009
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×