Using formal concept analysis for control in cyber-physical systems

Klimeš, Jiří

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	https://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	-