TBU Publications
Repository of TBU Publications

Using formal concept analysis for control in cyber-physical systems

DSpace Repository

Show simple item record

dc.title Using formal concept analysis for control in cyber-physical systems en
dc.contributor.author Klimeš, Jiří
dc.relation.ispartof Procedia Engineering
dc.identifier.issn 1877-7058 Scopus Sources, Sherpa/RoMEO, JCR
dc.date.issued 2014
utb.relation.volume 69
dc.citation.spage 1518
dc.citation.epage 1522
dc.event.title 24th DAAAM International Symposium on Intelligent Manufacturing and Automation
dc.event.location Zadar
utb.event.state-en Croatia
utb.event.state-cs Chorvatsko
dc.event.sdate 2013-10-23
dc.event.edate 2013-10-26
dc.type conferenceObject
dc.language.iso en
dc.publisher Elsevier Science B.V.
dc.identifier.doi 10.1016/j.proeng.2014.03.149
dc.relation.uri https://www.sciencedirect.com/science/article/pii/S1877705814003956
dc.subject cyber-physical systems en
dc.subject control en
dc.subject formal concept analysis en
dc.subject concept lattice en
dc.subject universal goals en
dc.description.abstract Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogonous physical devices and computational components. A major task in artificial intelligence concerns the automatic identification of the system behavior. Following Formal Concept Analysis (FCA) approaches, we derive behavioural specifications from structural and information input by the user in the context of the intelligent control of physical systems. We will show in the present paper how concepts and techniques from the theory of Formal Concept Analysis help solve this task in the case of the intelligent control of engineering systems. (C) 2014 The Authors. Published by Elsevier Ltd. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1003811
utb.identifier.obdid 43872432
utb.identifier.scopus 2-s2.0-84899119412
utb.identifier.wok 000335859300198
utb.source d-wok
dc.date.accessioned 2014-07-18T08:15:38Z
dc.date.available 2014-07-18T08:15:38Z
dc.rights Attribution-NonCommercial-NoDerivs 3.0 Unported
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/
dc.rights.access openAccess
utb.contributor.internalauthor Klimeš, Jiří
utb.fulltext.affiliation Jiří Klimeš* Tomas Bata University in Zlín, Faculty of Applied Informatics, Nad Stráněmi 4511, 760 05 Zlín, Czech Republic * Corresponding author. E-mail address:klimes@fai.utb.cz
utb.fulltext.dates -
utb.fulltext.sponsorship The research has been supported by the Czech Science Foundation under the project MSM 7088352102.
utb.fulltext.projects MSM 7088352102
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.ou -
Find Full text

Files in this item

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Unported Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 Unported