Publication Details

Specification of Anticipative Problems in Control Engineering

ŠVÉDA Miroslav and ZEZULKA František. Specification of Anticipative Problems in Control Engineering. Advances in Modelling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 0-92183-43-14.
Czech title
Specifikace anticipativních problémů v řídicí technice
Type
book chapter
Language
english
Authors
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)
Zezulka František, doc. Ing., CSc. (DAME FEECS BUT)
Keywords

Anticipative system, temporal logic, time model, control engineering application

Abstract

Time models in temporal logics for specification of anticipative systems in Control Engineering

Published
1996
Pages
79-83
Book
Advances in Modelling of Anticipative Systems
ISBN
0-92183-43-14
Publisher
International Institute of Informacs and Systemics
Place
Baden-Baden, DE
BibTeX 
@INBOOK{FITPUB6483,
   author = "Miroslav \v{S}v\'{e}da and Franti\v{s}ek Zezulka",
   title = "Specification of Anticipative Problems in Control Engineering",
   pages = "79--83",
   booktitle = "Advances in Modelling of Anticipative Systems",
   year = 1996,
   location = "Baden-Baden, DE",
   publisher = "International Institute of Informacs and Systemics",
   ISBN = "0-92183-43-14",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6483"
}
Back to top