Zobrazeno 1 - 10
of 73
pro vyhledávání: '"Michael Hanisch"'
Publikováno v:
IEEE Transactions on Industrial Informatics. 9:2340-2348
This work proposes a novel approach for controller synthesis on the shop-floor level for discrete-event systems. The approach is based on a modular modeling formalism and structural properties of models of uncontrolled plant behavior that are designe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb790100a46674ef9c495cd8cef5454a
https://doi.org/10.1109/tii.2012.2215615
https://doi.org/10.1109/tii.2012.2215615
Publikováno v:
IEEE/ASME Transactions on Mechatronics. 16:684-694
This paper deals with distributed multiagent reconfigurable embedded-control systems following the component-based International Industrial Standard IEC61499 in which a function block (FB) is an event-triggered software component owning data and a co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33628752500814b27c5af552a46e63ea
https://doi.org/10.1109/tmech.2010.2050697
https://doi.org/10.1109/tmech.2010.2050697
Autor:
Christian Gerber, Hans-Michael Hanisch
Publikováno v:
IFAC Proceedings Volumes. 43:24-29
Due to the defined requirements for software tools at the second part of the IEC 61499, it is possible to exchange once developed function blocks (abbr. FB) and created applications between different engineering environments. Thus, it is also possibl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::771e6c4512dadb69fca4330ab6077c6e
https://doi.org/10.3182/20100701-2-pt-4011.00006
https://doi.org/10.3182/20100701-2-pt-4011.00006
Publikováno v:
IFAC Proceedings Volumes. 42:281-286
This paper deals with the development of Safe Heterogeneous Embedded Control Systems following different component-based technologies used today in industry to reduce their time to market. To cover these technologies, we define a “Control Component
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f1e79178e53aaa7e2b1029617c2800e
https://doi.org/10.3182/20090610-3-it-4004.00053
https://doi.org/10.3182/20090610-3-it-4004.00053
Publikováno v:
IFAC Proceedings Volumes. 42:211-216
The contribution summarizes the development of formal modeling and verification of Function Blocks following the IEC 61499. We provide a critical review on what has been done so far and open the view for further challenges in the development of forma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19735984dae1ec6009a3aa6a3920840b
https://doi.org/10.3182/20090603-3-ru-2001.0306
https://doi.org/10.3182/20090603-3-ru-2001.0306
Publikováno v:
IFAC Proceedings Volumes. 42:960-965
This paper * deals with the development of reconfigurable multi-agent embedded control systems following the component-based International Industrial Standard IEC61499. We define a multi-agent architecture where Reconfiguration Agents are affected to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b3de883ed4f06422cdec6d5d000c52a
https://doi.org/10.3182/20090603-3-ru-2001.0407
https://doi.org/10.3182/20090603-3-ru-2001.0407
Autor:
Hans-Michael Hanisch, Dirk Missal
Publikováno v:
IFAC Proceedings Volumes. 41:14473-14478
The contribution provides an approach for formal synthesis of controllers ensuring safe operation on the shop floor level. It is structured into two parts. Part A presents an introduction and a survey of related work. It gives a definition of a modul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f634f3649664101a7cef179d8533971
https://doi.org/10.3182/20080706-5-kr-1001.02452
https://doi.org/10.3182/20080706-5-kr-1001.02452
Publikováno v:
EURASIP Journal on Embedded Systems, Vol 2008 (2008)
EURASIP Journal on Embedded Systems, Vol 2008, Iss 1, p 231630 (2008)
EURASIP Journal on Embedded Systems, Vol 2008, Iss 1, p 231630 (2008)
A new concept for distributed control systems based on the new IEC 61499 standard is tested in this work in cooperation with LAE Engineering GmbH, a medium-sized company. Based on a catalogue of requirements, a customer-related testbed is developed.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db687ab9b9fd259e977c2ccb11c9fd82
https://doi.org/10.1155/2008/231630
https://doi.org/10.1155/2008/231630
Autor:
Hans-Michael Hanisch, Dirk Missal
Publikováno v:
IFAC Proceedings Volumes. 41:14479-14484
The contribution provides an approach for formal synthesis of controllers that ensure safe operation on the shop floor level. It is structured into two parts. Part B presents the modular synthesis approach. It is based on the modular backward search
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d79bc20e995b85b49881698adfed0a56
https://doi.org/10.3182/20080706-5-kr-1001.02453
https://doi.org/10.3182/20080706-5-kr-1001.02453
Publikováno v:
IFAC Proceedings Volumes. 41:169-174
The best way to prove the correct behaviour of a distributed control system in any case is to do a closed-loop verification of the control system connected with the plant. As formal model we will use the known Net Condition/Event Systems (NCES) and e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5fbf2f6475f6319c6d47712327eabc2d
https://doi.org/10.3182/20081205-2-cl-4009.00031
https://doi.org/10.3182/20081205-2-cl-4009.00031