Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Model checking in pattern based control systems design (pealkiri)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/101)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Model checking in pattern based control systems design
Vain, Jüri
;
Ernits, Juhan-Peep
15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts
2002
/
p. 112
https://www.sciencedirect.com/science/article/pii/S1474667015393666
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
101
1.
finite cycle-based model predictive control
2.
model-based control
3.
model-based design
4.
control systems design
5.
Model-Based Systems Engineering (MBSE)
6.
model checking
7.
model-checking
8.
verification by model checking
9.
finite control set-model predictive control (FCS-MPC)
10.
modulated finite control set-model predictive control
11.
interaction design pattern
12.
decentralized model predictive control
13.
design model
14.
design-driven business model
15.
fire design model
16.
high-level control fault model
17.
model predictive control
18.
model predictive control (MPC)
19.
model reference adaptive control
20.
model-driven design
21.
model-free control
22.
multi-loop model reference control
23.
multi-pole model design
24.
nonlinear model predictive control
25.
pedagogical design model
26.
sliding model control
27.
test model design
28.
ultralocal model (ULM) control
29.
accrual-based credit risk model
30.
agent-based model
31.
control design
32.
control system design
33.
end-to-end model-based system
34.
information model-based urban planning
35.
iterative modelling and control design
36.
linear Delta robots neural network based model
37.
model based
38.
model based testing
39.
model-based development
40.
Model-Based Engineering (MBE)
41.
model-based mutation testing
42.
model-based navigation
43.
model-based patterns
44.
model-based software development
45.
model-based testing
46.
model-based verification
47.
modified winding function‐based model
48.
multiagent-based microscopic traffic assignment model (MMTAM)
49.
regression based model
50.
Simultaneous model-based optimization
51.
uplink control channel design
52.
event-based control
53.
flatness-based control
54.
passivity based control
55.
passivity-based control (PBC)
56.
power based control
57.
price based control
58.
price based control of industrial processes
59.
ripple-based control
60.
rule-based control
61.
Viable Systems Model
62.
adaptive control systems
63.
automatic control systems
64.
building automation and control systems
65.
command and control systems
66.
component-based design
67.
contract-based design
68.
control and systems theory
69.
control systems
70.
control systems commissioning
71.
delay control systems
72.
design and implementation of Performance Management Systems
73.
design support systems
74.
digital control systems
75.
discrete time control systems
76.
industrial control systems
77.
Industrial Control Systems (ICS)
78.
knowledge-based design
79.
management control systems
80.
monlinear control systems
81.
multivariable control systems
82.
nanoelectronic systems design
83.
nano-electronic systems design
84.
Networked control systems
85.
networked control systems (NCSs)
86.
nonlinear control systems
87.
optimal control systems
88.
performance-based design
89.
proportional control systems
90.
teaching design and test of systems
91.
three term control systems
92.
two term control systems
93.
value-based design
94.
wireless networked control systems
95.
behaviour-based intrusion detection systems
96.
cloud-based cyber-physical systems (C2PS)
97.
cloud-based medical systems
98.
knowledge based systems
99.
knowledge-based systems
100.
Peptide based transfection systems
101.
rules-based systems
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT