-
1
-
-
0037295711
-
Special issue on internet-based distributed intelligent manufacturing systems
-
Banaszak Z., and Zaremba M. Special issue on internet-based distributed intelligent manufacturing systems. Journal of Intelligent Manufacturing 14 1 (2003) 5-144
-
(2003)
Journal of Intelligent Manufacturing
, vol.14
, Issue.1
, pp. 5-144
-
-
Banaszak, Z.1
Zaremba, M.2
-
2
-
-
34548318199
-
-
Barragan, S. I., & Faure, J. M. (2005). From fault-tree analysis to model-checking of controllers. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
3
-
-
0003450426
-
-
Springer Editions, Heidelberg
-
Berard B., Bidoit M., Finkel A., Laroussinie F., Petit A., Petrucci L., et al. Systems and software verification: Model-checking techniques and tools (1999), Springer Editions, Heidelberg
-
(1999)
Systems and software verification: Model-checking techniques and tools
-
-
Berard, B.1
Bidoit, M.2
Finkel, A.3
Laroussinie, F.4
Petit, A.5
Petrucci, L.6
-
4
-
-
34548350009
-
-
Borangiu, T. (Ed.). (2003). Intelligent assembly and disassembly. In 3rd IFAC IAD'03 Workshop. Bucarest, Romania, October 11-13.
-
-
-
-
5
-
-
2942598109
-
Advancing systems engineering for system of systems challenges
-
Chen P., and Clothier J. Advancing systems engineering for system of systems challenges. Systems Engineering 6 3 (2003) 170-183
-
(2003)
Systems Engineering
, vol.6
, Issue.3
, pp. 170-183
-
-
Chen, P.1
Clothier, J.2
-
7
-
-
34548357940
-
-
Diedrich, Ch., Wollschlaeger, M., Riedl, M., & Simon, R. (2001). Three-component model for field device integration in control systems. In 4th IFAC FeT'01 Conference, Nancy, France, November 15-16.
-
-
-
-
8
-
-
18144415981
-
Engineering self-organizing systems, nature-inspired approaches to software engineering
-
Di Marzo S.G., Karageorgos A., Rana O.F., and Zambonelli F. Engineering self-organizing systems, nature-inspired approaches to software engineering. Lecture Notes in Computer Science and Artificial Intelligence 2977 (2004)
-
(2004)
Lecture Notes in Computer Science and Artificial Intelligence
, vol.2977
-
-
Di Marzo, S.G.1
Karageorgos, A.2
Rana, O.F.3
Zambonelli, F.4
-
9
-
-
34548362774
-
-
Dolgui, A., Morel, G., & Pereira, C. E. (2006). Information control problems in manufacturing. In 12th IFAC INCOM'04 Symposium. St Etienne, France, June 17-19.
-
-
-
-
10
-
-
34548350008
-
-
Erbe, H. (2003). Technologies for cost-effective automation in manufacturing. In IFAC Professional Briefs, pp. 1-32.
-
-
-
-
11
-
-
79960721782
-
-
Erbe, H., Morel, G., Lee, J., Leger, J. B., Selinger, G., Hohwieler, E., et al. (2005). Infotronics technologies for e-maintenance regarding the cost aspects, In 16th IFAC World Congress. Prague, July 3-8.
-
-
-
-
12
-
-
34548325495
-
-
Fisher, D. A. (2006). An emergent perspective on interoperation in systems of systems integration of software-intensive systems. CMU/SEI-2006-TR-03 report.
-
-
-
-
15
-
-
79960733015
-
-
Genc, S., & Lafortune, S. (2005). A distributed algorithm for on-line diagnosis of place-bordered petri nets. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
16
-
-
31844455939
-
A design process of switched ethernet architectures according to real-time application constraints
-
Georges J.P., Krommenacker N., Divoux T., and Rondeau E. A design process of switched ethernet architectures according to real-time application constraints. IFAC Journal of Engineering Applications of Artificial Intelligence 19 3 (2006) 335-344
-
(2006)
IFAC Journal of Engineering Applications of Artificial Intelligence
, vol.19
, Issue.3
, pp. 335-344
-
-
Georges, J.P.1
Krommenacker, N.2
Divoux, T.3
Rondeau, E.4
-
17
-
-
0000160757
-
Engineering process of integrated-distributed shop floor architecture based on interoperable field components
-
Iung B., Neunreuther E., and Morel G. Engineering process of integrated-distributed shop floor architecture based on interoperable field components. Journal of Computer Integrated Manufacturing 14 3 (2001) 246-262
-
(2001)
Journal of Computer Integrated Manufacturing
, vol.14
, Issue.3
, pp. 246-262
-
-
Iung, B.1
Neunreuther, E.2
Morel, G.3
-
18
-
-
79960706971
-
-
Johnson, T. L., Sutherland, H. A., Ingleston, B., & Krogh, B. (2005). Dependable software in railway signaling. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
19
-
-
79960742430
-
-
Klein, S., Litz, L., & Lesage, J. J. (2005). Fault detection of discrete event systems using an identification approach. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
20
-
-
34548323397
-
-
Kopacek, P., Pereira, C. E., & Morel, G. (Eds.). (2005). Information control problems in manufacturing. In 11th IFAC INCOM'04 Symposium. Salvador da Bahia, Brazil, April 5-7.
-
-
-
-
21
-
-
0034842068
-
-
Lafortune, S., Teneketzis D., Sampath M., Sengupta, R., & Sinnamohideen, K. (2001). Failure diagnosis of dynamic systems: An approach based on discrete event systems. In American Control Conference, pp. 2058-2071.
-
-
-
-
22
-
-
0035297024
-
Integration of maintenance in the enterprise: Towards an enterprise modeling-based framework compliant with proactive maintenance strategy
-
Leger J.B., and Morel G. Integration of maintenance in the enterprise: Towards an enterprise modeling-based framework compliant with proactive maintenance strategy. Product Planning and Control 12 2 (2001) 176-187
-
(2001)
Product Planning and Control
, vol.12
, Issue.2
, pp. 176-187
-
-
Leger, J.B.1
Morel, G.2
-
23
-
-
0032643409
-
The extension of principles of cybernetics towards engineering and manufacturing
-
Lhote F., Chazelet Ph., and Dulmet M. The extension of principles of cybernetics towards engineering and manufacturing. IFAC Annual Reviews in Control 23 1 (1999) 139-148
-
(1999)
IFAC Annual Reviews in Control
, vol.23
, Issue.1
, pp. 139-148
-
-
Lhote, F.1
Chazelet, Ph.2
Dulmet, M.3
-
24
-
-
33751196149
-
Special section on human-centered systems engineering
-
Mayer F., and Stahre J. Special section on human-centered systems engineering. IFAC Annual Reviews in Control 30 2 (2006) 193-259
-
(2006)
IFAC Annual Reviews in Control
, vol.30
, Issue.2
, pp. 193-259
-
-
Mayer, F.1
Stahre, J.2
-
25
-
-
34548323396
-
Engineering-related formal method for the development of safe industrial automation systems
-
Moik A. Engineering-related formal method for the development of safe industrial automation systems. Automation Technology in Practice l (2003) 45-53
-
(2003)
Automation Technology in Practice
, vol.l
, pp. 45-53
-
-
Moik, A.1
-
26
-
-
34548335890
-
-
Monostori, L., Kadar, B., & Morel, G. (Eds.). (2003). Intelligent Manufacturing Systems. In 7th IFAC IMS'03 Workshop. Budapest, Hungary, April 6-8.
-
-
-
-
28
-
-
34548300682
-
-
Morel, G., Méry, D., Léger, J. B., & Lecomte, T. (2004). Proof-oriented fault-tolerant systems engineering: rationales, experiments and open issues. In 7th IFAC COA'04, Ottawa/Gatineau (Québec), Canada, June 6-9.
-
-
-
-
29
-
-
0942290242
-
Manufacturing enterprise control and management system engineering: Rationales and open issues
-
Morel G., Panetto H., Zaremba M., and Mayer F. Manufacturing enterprise control and management system engineering: Rationales and open issues. IFAC Annual reviews in Control 27 (2003) 199-209
-
(2003)
IFAC Annual reviews in Control
, vol.27
, pp. 199-209
-
-
Morel, G.1
Panetto, H.2
Zaremba, M.3
Mayer, F.4
-
30
-
-
79960713112
-
-
Music, G., & Matko, D. (2005). Combined synthesis/verification approach to programmable logic control of a production line. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
31
-
-
33751186724
-
From plant and logistics control to multi-enterprise collaboration
-
Nof S., Morel G., Monostori L., Molina A., and Filip F. From plant and logistics control to multi-enterprise collaboration. IFAC Annual Reviews in Control 30 1 (2006) 55-68
-
(2006)
IFAC Annual Reviews in Control
, vol.30
, Issue.1
, pp. 55-68
-
-
Nof, S.1
Morel, G.2
Monostori, L.3
Molina, A.4
Filip, F.5
-
32
-
-
0036968535
-
From MEMS to enterprise systems: Milestone report of the manufacturing and instrumentation coordinating committee
-
Ollero A., Morel G., Bernus P., Nof S., Sasiadek J., Boverie S., et al. From MEMS to enterprise systems: Milestone report of the manufacturing and instrumentation coordinating committee. IFAC Annual Reviews in Control 26 2 (2002) 151-162
-
(2002)
IFAC Annual Reviews in Control
, vol.26
, Issue.2
, pp. 151-162
-
-
Ollero, A.1
Morel, G.2
Bernus, P.3
Nof, S.4
Sasiadek, J.5
Boverie, S.6
-
33
-
-
79960708791
-
-
Ortmeier, F., Reif, W., & Schellhorn, G. (2005). Deductive cause-consequence analysis. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
34
-
-
34548360023
-
Special issue on E-manufacturing and web-based technology for intelligent manufacturing and networked enterprise interoperability
-
Panetto H., Goncalves R., and Pereira C.E. Special issue on E-manufacturing and web-based technology for intelligent manufacturing and networked enterprise interoperability. Journal of Intelligent Manufacturing 17 6 (2006)
-
(2006)
Journal of Intelligent Manufacturing
, vol.17
, Issue.6
-
-
Panetto, H.1
Goncalves, R.2
Pereira, C.E.3
-
35
-
-
79960709551
-
-
Papadopoulos, Y., Grante, C., Grunske, L., & Kaiser, B. (2005). Continuous assessment of designs and re-use in model-based safety analysis. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
37
-
-
34548325493
-
Ease of use in engineering-availability and safety during runtime
-
Polzer K. Ease of use in engineering-availability and safety during runtime. Automation Technology in Practice 1 (2004) 49-60
-
(2004)
Automation Technology in Practice
, vol.1
, pp. 49-60
-
-
Polzer, K.1
-
40
-
-
3142577590
-
Algebraic approach for dependable logic control systems design
-
Roussel J.-M., Faure J.M., Lesage J.-J., and Medina A. Algebraic approach for dependable logic control systems design. Journal of Production Research 42 14 (2004) 2859-2876
-
(2004)
Journal of Production Research
, vol.42
, Issue.14
, pp. 2859-2876
-
-
Roussel, J.-M.1
Faure, J.M.2
Lesage, J.-J.3
Medina, A.4
-
41
-
-
34548350006
-
-
Rumpe, B., & Scholz, P. (2002). A manager's view on large scale XP projects. In 3rd XP'02 Conference, Alghero, Sardinia, Italy, May 26-30.
-
-
-
-
42
-
-
79960723244
-
-
Stursberg, O., Lohmann, S., & Engell, S. (2005). Improving dependability of logic controllers by algorithmic verification. In 16th IFAC World Congress. Praha, Czech Republic, July 4-8.
-
-
-
-
43
-
-
4944248025
-
Integrated design approach for virtual production line-based reconfigurable manufacturing systems
-
Tang Y., and Qiu G. Integrated design approach for virtual production line-based reconfigurable manufacturing systems. Journal of Production Research 42 18 (2004) 3803-3822
-
(2004)
Journal of Production Research
, vol.42
, Issue.18
, pp. 3803-3822
-
-
Tang, Y.1
Qiu, G.2
-
44
-
-
34548325494
-
-
Valckenaers, P., Saint Germain, B., Verstraete, P., Hadeli, Zamfirescu, C., & Van Brussel, H. (2004). Ant colony engineering in coordination and control: how to engineer a short-term forecasting system. In IWES'04, pp. 125-132.
-
-
-
-
45
-
-
0032202527
-
Reference architecture for holonic manufacturing systems: PROSA
-
Van Brussel H., Wyns J., Valckenaers P., Bongaerts L., and Peeters P. Reference architecture for holonic manufacturing systems: PROSA. Computers in Industry 37 (1998) 255-274
-
(1998)
Computers in Industry
, vol.37
, pp. 255-274
-
-
Van Brussel, H.1
Wyns, J.2
Valckenaers, P.3
Bongaerts, L.4
Peeters, P.5
|