Publication Details

Specification of Anticipative Problems in Control Engineering

ZEZULKA František and ŠVÉDA Miroslav. Specification of Anticipative Problems in Control Engineering. Advances in Modeling of Anticipative Systems. Baden-Baden: International Institute of Informacs and Systemics, 1996, pp. 79-83. ISBN 1-921836-43-1.

Czech title

Type

book chapter

Language

english

Authors

Zezulka František, doc. Ing., CSc. (DAME FEECS BUT)
Švéda Miroslav, Doc. Ing., CSc. (DCSE FEECS BUT)

Keywords

formal specification, time models, temporal logics

Abstract

Specification of Anticipative Problems in Control Engineering

Published

1996

Pages

79-83

Book

Advances in Modeling of Anticipative Systems

ISBN

1-921836-43-1

Publisher

International Institute of Informacs and Systemics

Place

Baden-Baden, DE

BibTeX

@INBOOK{FITPUB6475,
   author = "Franti\v{s}ek Zezulka and Miroslav \v{S}v\'{e}da",
   title = "Specification of Anticipative Problems in Control Engineering",
   pages = "79--83",
   booktitle = "Advances in Modeling of Anticipative Systems",
   year = 1996,
   location = "Baden-Baden, DE",
   publisher = "International Institute of Informacs and Systemics",
   ISBN = "1-921836-43-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6475"
}