-
2
-
-
33751511135
-
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using petri nets
-
Z. Li, M. Zhou, Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using petri nets, IEEE Transactions on Industrial Informatics 2(4) (2006) 313-325.
-
(2006)
IEEE Transactions on Industrial Informatics
, vol.2
, Issue.4
, pp. 313-325
-
-
Li, Z.1
Zhou, M.2
-
4
-
-
0142214566
-
Composition for component-based modeling
-
the Netherlands, LNCS 2852
-
G. Goessler, J. Sifakis, Composition for component-based modeling, in: Proceedings of FMCO'02, the Netherlands, LNCS 2852, 2002, pp. 443-466.
-
(2002)
Proceedings of FMCO'02
, pp. 443-466
-
-
Goessler, G.1
Sifakis, J.2
-
9
-
-
37249035119
-
Holonic and multi-agent systems in manufacturing
-
Springer-Verlag Proceedings of HoloMAS'07 Conference
-
V. Marik, V. Vyatkin, and A. Colombo Holonic and multi-agent systems in manufacturing Proceedings of HoloMAS'07 Conference Lecture Notes in Computer Science vol. 4659 2007 Springer-Verlag
-
(2007)
Lecture Notes in Computer Science
, vol.4659
-
-
Marik, V.1
Vyatkin, V.2
Colombo, A.3
-
10
-
-
0037296637
-
Verification of distributed control systems in intelligent manufacturing
-
V. Vyatkin, H.-M. Hanisch, Verification of distributed control systems in intelligent manufacturing, Journal of International Manufacturing 14 (1) (2003) 123-136.
-
(2003)
Journal of International Manufacturing
, vol.14
, Issue.1
, pp. 123-136
-
-
Vyatkin, V.1
Hanisch, H.-M.2
-
12
-
-
63149120316
-
Development process for distributed automation systems combining UML and IEC 61499
-
S. Panjaitan, G. Frey, Development process for distributed automation systems combining UML and IEC 61499, International Journal of Manufacturing Research 2 (1) (2007).
-
(2007)
International Journal of Manufacturing Research
, vol.2
, Issue.1
-
-
Panjaitan, S.1
Frey, G.2
-
13
-
-
51549090117
-
A deployment method of component based applications on distributed industrial control systems
-
M. Khalgui, X. Rebeuf, F. Simonot-Lion, A deployment method of component based applications on distributed industrial control systems, European Journal of Automated Systems 41 (6) (2007).
-
(2007)
European Journal of Automated Systems
, vol.41
, Issue.6
-
-
Khalgui, M.1
Rebeuf, X.2
Simonot-Lion, F.3
-
14
-
-
17444374248
-
Model integrated mechatronics - Towards a new paradigm in the development of manufacturing systems
-
K. Thramboulidis, Model integrated mechatronics - towards a new paradigm in the development of manufacturing systems, IEEE Transactions on Industrial Informatics 1 (2005).
-
(2005)
IEEE Transactions on Industrial Informatics
, vol.1
-
-
Thramboulidis, K.1
-
15
-
-
77957349795
-
Application of closed-loop modelling in integrated component design and validation of manufacturing automation
-
V. Vyatkin, H.-M. Hanisch, C. Pang, J. Yang, Application of closed-loop modelling in integrated component design and validation of manufacturing automation, IEEE Transactions on Systems, Machine and Cybernetics (2009).
-
(2009)
IEEE Transactions on Systems, Machine and Cybernetics
-
-
Vyatkin, V.1
Hanisch, H.-M.2
Pang, C.3
Yang, J.4
-
16
-
-
39749175612
-
Synchronous execution of IEC 61499 function blocks using Esterel
-
Y.L. Hsien, P. Roop, V. Vyatkin, Z. Salcic, Synchronous execution of IEC 61499 function blocks using Esterel, in: Industrial Informatics, 2007 5th IEEE International Conference on, vol. 2 (23-27), 2007, pp. 1189-1194.
-
(2007)
Industrial Informatics, 2007 5th IEEE International Conference on
, vol.2
, Issue.23-27
, pp. 1189-1194
-
-
Hsien, Y.L.1
Roop, P.2
Vyatkin, V.3
Salcic, Z.4
-
17
-
-
17444424578
-
OOONEIDA: An open, object-oriented knowledge economy for intelligent distributed automation
-
V. Vyatkin, J. Christensen, J.-L. Lastra, OOONEIDA: An open, object-oriented knowledge economy for intelligent distributed automation, IEEE Transactions on Industrial Informatics 1 (1) (2005) 4-17.
-
(2005)
IEEE Transactions on Industrial Informatics
, vol.1
, Issue.1
, pp. 4-17
-
-
Vyatkin, V.1
Christensen, J.2
Lastra, J.-L.3
-
18
-
-
33847755998
-
A new model for autonomous, networked control systems
-
G. Pratl, D. Dietrich, G. Hancke, W. Penzhorn, A new model for autonomous, networked control systems, IEEE Transactions on Industrial Informatics 3 (1) (2007).
-
(2007)
IEEE Transactions on Industrial Informatics
, vol.3
, Issue.1
-
-
Pratl, G.1
Dietrich, D.2
Hancke, G.3
Penzhorn, W.4
-
20
-
-
33744955106
-
Design models for reusable and reconfigurable state machines
-
L.T. Yang, All (Eds.)
-
C. Angelov, K. Sierszecki, N. Marian, Design models for reusable and reconfigurable state machines, in: L.T. Yang, All (Eds.), EUC 2005, LNCS 3824, International Federation for Information Processing, 2005, pp. 152-163.
-
(2005)
EUC 2005, LNCS 3824, International Federation for Information Processing
, pp. 152-163
-
-
Angelov, C.1
Sierszecki, K.2
Marian, N.3
-
21
-
-
37349015321
-
Zero downtime reconfiguration of distributed automation systems: The εEDAC approach
-
Springer-Verlag
-
M.N. Rooker, C. Sunder, T. Strasser, A. Zoitl, O. Hummer, G. Ebenhofer, Zero downtime reconfiguration of distributed automation systems: the CEDAC approach, in: Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, 2007, Springer-Verlag.
-
(2007)
Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems
-
-
Rooker, M.N.1
Sunder, C.2
Strasser, T.3
Zoitl, A.4
Hummer, O.5
Ebenhofer, G.6
-
24
-
-
56349097252
-
A formal approach to check and schedule reconfigurable embedded control systems
-
M. Khalgui, O. Mosbahi, H.-M. Hanisch, A formal approach to check and schedule reconfigurable embedded control systems, in: International Conference on Emerging Technologies and Factory Automation, ETFA08, 2008.
-
(2008)
International Conference on Emerging Technologies and Factory Automation, ETFA08
-
-
Khalgui, M.1
Mosbahi, O.2
Hanisch, H.-M.3
-
26
-
-
4544324360
-
Towards an implementation model for FB-based reconfigurable distributed control applications
-
K. Thramboulidis, G. Doukas, A. Frantzis, Towards an implementation model for FB-based reconfigurable distributed control applications, in: Proceedings of 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2004, pp. 193-200.
-
(2004)
Proceedings of 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
, pp. 193-200
-
-
Thramboulidis, K.1
Doukas, G.2
Frantzis, A.3
|