-
2
-
-
0001775707
-
Logics and models of real-Time: A survey
-
of Lecture notes in computer science. Springer
-
Alur, R., & Henzinger, T. A. (1992). Logics and models of real-Time: A survey. In Proceedings of real-Time: theory in practice, Vol. 600 of Lecture notes in computer science. Springer.
-
(1992)
Proceedings of Real-Time: Theory in Practice
, vol.600
-
-
Alur, R.1
Henzinger, T.A.2
-
3
-
-
33744955106
-
Design models for reusable and reconfigurable state machines
-
In L. T. Yang et al. (Eds
-
Angelov, C., Sierszecki, K., & Marian, N. (2005). Design models for reusable and reconfigurable state machines. In L. T. Yang et al. (Eds.), EUC 2005, LNCS 3824, International federation for information processing (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
-
4
-
-
84958998377
-
Scheduling real-Time tasks: Algorithms and complexity
-
J. Y.-T. Leung (Ed.). Boca Raton: Chapman Hall/ CRC Press
-
Baruah, S., & Goossens, J. (2004). Scheduling real-Time tasks: Algorithms and complexity. In J. Y.-T. Leung (Ed.), Handbook of scheduling: Algorithms, models, and performance analysis (38 pp.). Boca Raton: Chapman Hall/CRC Press.
-
(2004)
Handbook of Scheduling: Algorithms, Models, and Performance Analysis
-
-
Baruah, S.1
Goossens, J.2
-
5
-
-
3042535028
-
Communication efficiency in multiagent systems
-
April 26 to May 1, 2004
-
Berna-koes, M., Nourbakhsh, I., & Sycara, K. (2003). Communication efficiency in multiagent systems. In International conference on robotics and automation (pp. 2129-2134), April 26 to May 1, 2004.
-
(2003)
International Conference on Robotics and Automation
, pp. 2129-2134
-
-
Berna-koes, M.1
Nourbakhsh, I.2
Sycara, K.3
-
7
-
-
77951159604
-
Turn off your radios! Environmental monitoring using power-constrained sensor agents
-
Honolulu, Hawaii
-
Corkill, D. D., Holzhauer, D., & Koziarz, W. (2007). Turn off your radios! environmental monitoring using power-constrained sensor agents. In In first international workshop on agent technology for sensor networks (ATSN-07) (pp. 31-38). Honolulu, Hawaii.
-
(2007)
First International Workshop on Agent Technology for Sensor Networks (ATSN-07
, pp. 31-38
-
-
Corkill, D.D.1
Holzhauer, D.2
Koziarz, W.3
-
9
-
-
62149085926
-
A petri net-based model for verification of obligations and accountability in cooperative systems
-
Du, Y., Jiang, C., & Zhou, M. (2009). A petri net-based model for verification of obligations and accountability in cooperative systems. In IEEE Transactions on Systems, Machine and Cybernetics, 39(2), 299-308.
-
(2009)
IEEE Transactions on Systems, Machine and Cybernetics
, vol.39
, Issue.2
, pp. 299-308
-
-
Du, Y.1
Jiang, C.2
Zhou, M.3
-
11
-
-
72449165691
-
-
International Standard IEC61499. International Electrotechnical Commission (IEC) Committee Draft
-
International Standard IEC61499. (2004). Industrial process measurements and control systems. In International Electrotechnical Commission (IEC) Committee Draft.
-
(2004)
Industrial Process Measurements and Control Systems
-
-
-
12
-
-
78650059176
-
Intelligent manufacturing system and security and assurance
-
Kim, T.-H., Lopez, J., & Park, J. H. (2010). Deqing Zou and Hangbae Chang. Intelligent manufacturing system and security and assurance. In Journal of Intelligent Manufacturing, 21(5), 593-594.
-
(2010)
Journal of Intelligent Manufacturing
, vol.21
, Issue.5
, pp. 593-594
-
-
Kim, T.-H.1
Lopez, J.2
Park, J.H.3
-
14
-
-
50849096380
-
A deployment method of component based applications on distributed industrial control systems
-
Khalgui, M., Rebeuf, X., & Simonot-Lion, F. (2007). A deployment method of component based applications on distributed industrial control systems. European Jounal of Automated Systems, 41(6), 707-732.
-
(2007)
European Jounal of Automated Systems
, vol.41
, Issue.6
, pp. 707-732
-
-
Khalgui, M.1
Rebeuf, X.2
Simonot-Lion, F.3
-
17
-
-
33644894161
-
A cooperative mediation-based protocol for dynamic, distributed resource allocation
-
IEEE Press
-
Mailler, R., & Lesser, V. (2006) A cooperative mediation-based protocol for dynamic, distributed resource allocation. In IEEE transaction on systems,man, and cybernetics, part C, special issue on game-Theoretic analysis and stochastic simulation of negotiation agents (Vol. 36, no. 1, pp. 80-91). IEEE Press.
-
(2006)
IEEE Transaction on Systems, Man, and Cybernetics, Part C, Special Issue on Game-Theoretic Analysis and Stochastic Simulation of Negotiation Agents
, vol.36
, Issue.1
, pp. 80-91
-
-
Mailler, R.1
Lesser, V.2
-
19
-
-
8344273490
-
Communication security in multi-Agent systems
-
Springer
-
Novak, P., Rollo, M., Hodik, J., & Vlcek, T. (2003). Communication security in multi-Agent systems. In Multi-Agent systems and aplications III (pp.454-463). Springer.
-
(2003)
Multi-Agent Systems and Aplications
, vol.3
, pp. 454-463
-
-
Novak, P.1
Rollo, M.2
Hodik, J.3
Vlcek, T.4
-
23
-
-
75949087127
-
Extended computation tree logic: Implementation and application
-
Roch, S. (2000b). Extended computation tree logic: Implementation and application. In Proceedings of the AWPN2000 workshop Germany.
-
(2000)
Proceedings of the AWPN2000 Workshop Germany
-
-
Roch, S.1
-
24
-
-
37349015321
-
Zero downtime reconfiguration of distributed automation systems: The ecedac approach
-
Springer
-
Rooker, M. N., Sunder, C., Strasser, T., Zoitl, A., Hummer, O., & Ebenhofer, G. (2007). Zero downtime reconfiguration of distributed automation systems: The ecedac approach. In Third international conference on industrial applications of holonic and multi-Agent systems. Springer.
-
(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
-
25
-
-
74849103813
-
Special issue on planning, scheduling and constraint satisfaction
-
Salido, M. A. (2010). Special issue on planning, scheduling and constraint satisfaction. Journal of Intelligent Manufacturing, 21(1), 1-4.
-
(2010)
Journal of Intelligent Manufacturing
, vol.21
, Issue.1
, pp. 1-4
-
-
Salido, M.A.1
-
26
-
-
39149101427
-
Automated organization design for multi-Agent systems
-
Netherlands Springer
-
Sims, M., Corkill, D., & Lesser, V. (2008) Automated organization design for multi-Agent systems. In Autonomous agents and multi-Agent systems (Vol. 16, no. 2, pp. 151-185). Netherlands: Springer.
-
(2008)
Autonomous Agents and Multi-Agent Systems
, vol.16
, Issue.2
, pp. 151-185
-
-
Sims, M.1
Corkill, D.2
Lesser, V.3
-
27
-
-
79951513444
-
A novel agent-based concept of household appliances
-
Steblovnik, K., & Zazula, D. (2011). A novel agent-based concept of household appliances. Journal of Intelligent Manufacturing, 22(1), 73-88.
-
(2011)
Journal of Intelligent Manufacturing
, vol.22
, Issue.1
, pp. 73-88
-
-
Steblovnik, K.1
Zazula, D.2
-
28
-
-
77955657640
-
Multi agent architecture for dynamic incremental process planning in the flexible manufacturing system
-
Tehrani Nik Nejad, H., Sugimura, N., Iwamura, K., & Tanimizu, Y. (2010). Multi agent architecture for dynamic incremental process planning in the flexible manufacturing system. Journal of Intelligent Manufacturing, 21(4), 487-499.
-
(2010)
Journal of Intelligent Manufacturing
, vol.21
, Issue.4
, pp. 487-499
-
-
Tehrani Nik Nejad, H.1
Sugimura, N.2
Iwamura, K.3
Tanimizu, Y.4
-
31
-
-
0037296637
-
Verification of distributed control systems in intelligent manufacturing
-
Vyatkin, V., & Hanisch, H.-M. (2003). Verification of distributed control systems in intelligent manufacturing. Journal of International Manufacturing, 14(1), 123-136.
-
(2003)
Journal of International Manufacturing
, vol.14
, Issue.1
, pp. 123-136
-
-
Vyatkin, V.1
Hanisch, H.-M.2
-
32
-
-
77957349795
-
Application of closed-loop modelling in integrated component design and validation of manufacturing automation
-
Vyatkin, V., Hanisch, H.-M., Pang C., & Yang, J. (2009) Application of closed-loop modelling in integrated component design and validation of manufacturing automation. In IEEE transactions on systems, machine and cybernetics.
-
(2009)
IEEE Transactions on Systems, Machine and Cybernetics
-
-
Vyatkin, V.1
Hanisch, H.-M.2
Pang, C.3
Yang, J.4
|