-
1
-
-
0028728084
-
What is an Open Architecture Robot Controller?
-
Columbus, Ohio, USA, August
-
William E. Ford, "What is an Open Architecture Robot Controller?", Proceedings of the 1994 IEEE International Symposium on Intelligent Control, Columbus, Ohio, USA, August 1994, pp.27-32
-
(1994)
Proceedings of the 1994 IEEE International Symposium on Intelligent Control
, pp. 27-32
-
-
Ford, W.E.1
-
2
-
-
0037985797
-
Unified Telerobotic Architecture Project Program Overview
-
May
-
Leahy, M.B., Petroski, S.B., "Unified Telerobotic Architecture Project Program Overview", Proceedings of the 1994 IEEE International Conference on Intelligent Robots & Systems (IROS), May 1994, pp.240-244
-
(1994)
Proceedings of the 1994 IEEE International Conference on Intelligent Robots & Systems (IROS)
, pp. 240-244
-
-
Leahy, M.B.1
Petroski, S.B.2
-
4
-
-
0031346063
-
oM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot Architecture
-
Grenoble, Ftrance
-
oM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot Architecture", Proceedings of the 1997 IEEE International Conference on Intelligent Robots & Systems (IROS), Grenoble, Ftrance,1997, pp.842-848
-
(1997)
Proceedings of the 1997 IEEE International Conference on Intelligent Robots & Systems (IROS)
, pp. 842-848
-
-
Fleury, S.1
Herrb, M.2
Chatila, R.3
-
5
-
-
0033309389
-
Integrated architecture for industrial robot programming and control
-
Klas Nillson, Rolf Johansson, "Integrated architecture for industrial robot programming and control", Robotics and Autonomous Systems, Vol. 29, Issue:4,1999, pp.205-226
-
(1999)
Robotics and Autonomous Systems
, vol.29
, Issue.4
, pp. 205-226
-
-
Nillson, K.1
Johansson, R.2
-
6
-
-
0001479774
-
-
Juan A. Fernandz, Javier Gonzalez, "The NEXUS open system for integrating robotic software", Vol. 15,Issue:6,1999, pp.431-440
-
(1999)
The NEXUS Open System for Integrating Robotic Software
, vol.15
, Issue.6
, pp. 431-440
-
-
Fernandz, J.A.1
Gonzalez, J.2
-
7
-
-
0031638766
-
NEXUS: A Flexible, Efficient and Robust Framework for Integrating Software Component of a Robotic System
-
Leuven, Belgium, May
-
Juan A.Fernandez, Javier Gonzalez, "NEXUS: A Flexible, Efficient and Robust Framework for Integrating Software Component of a Robotic System", Proceedings of the 1998 IEEE Internatioal Conference on Robotics & Automation,Leuven, Belgium, May 1998, PP.524-529
-
(1998)
Proceedings of the 1998 IEEE Internatioal Conference on Robotics & Automation
, pp. 524-529
-
-
Fernandez, J.A.1
Gonzalez, J.2
-
8
-
-
0028387427
-
Testing Finite-State Machines: State Identification and Verification
-
March
-
David Lee, Mihalis Yaonakakis, "Testing Finite-State Machines: State Identification and Verification", IEEE Trancsantions on computers, Vol. 43, No.3, March 1994, pp.306-320
-
(1994)
IEEE Trancsantions on Computers
, vol.43
, Issue.3
, pp. 306-320
-
-
Lee, D.1
Yaonakakis, M.2
-
9
-
-
0030081902
-
The Real-Time Supervisory Control of an Experimental Manufacturing Cell
-
February
-
Bertil A.Brandin, "The Real-Time Supervisory Control of an Experimental Manufacturing Cell", IEEE Transactions on Robotics and Automation,Vol.12, No.1, February 1996,pp.1-14
-
(1996)
IEEE Transactions on Robotics and Automation
, vol.12
, Issue.1
, pp. 1-14
-
-
Brandin, B.A.1
-
10
-
-
0032661369
-
An Object-Orient Realtime Framework for Distributed Control System
-
Detroit, Michigan, May
-
A. Traub, R,D.Schraft, "An Object-Orient Realtime Framework for Distributed Control System", Proceedings of the 1999 IEEE International Conference on Robotics & Automation, Detroit, Michigan, May 1999, pp.3115-3121
-
(1999)
Proceedings of the 1999 IEEE International Conference on Robotics & Automation
, pp. 3115-3121
-
-
Traub, A.1
Schraft, R.D.2
-
11
-
-
0033177691
-
Object-oriented specification of automated manufacturing systems
-
K.L.Mak, H.Y.K.Lau, S.T.W.Wong, "Object-oriented specification of automated manufacturing systems", Robotics and Computer Integrated Manufacturing, Vol 15, Issue:4, 1999, pp.297-312
-
(1999)
Robotics and Computer Integrated Manufacturing
, vol.15
, Issue.4
, pp. 297-312
-
-
Mak, K.L.1
Lau, H.Y.K.2
Wong, S.T.W.3
-
12
-
-
0024645936
-
Petri Nets: Properties, Analysis and Applications
-
April
-
Tadao Murata, "Petri Nets: Properties, Analysis and Applications", Proceedings of IEEE, Vol.77, No.4, April 1989, pp.541-580
-
(1989)
Proceedings of IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
13
-
-
0034497238
-
Software modeling and analysis using a hierarchical objiect-oriented Petri net
-
Jang-Eui Hong, Doo-Hwan Bae, "Software modeling and analysis using a hierarchical objiect-oriented Petri net", Information Sciences Vol.130, Issue:1-4, pp. 133-164
-
Information Sciences
, vol.130
, Issue.1-4
, pp. 133-164
-
-
Hong, J.-E.1
Bae, D.-H.2
-
14
-
-
84964581791
-
How to model it?Modeling strategies for open software architectures of robot controllers
-
June 25-28, Las Vegas, Nevada, USA
-
Hua Xu, Yannan Zhao, Peifa Jia, "How to model it?Modeling strategies for open software architectures of robot controllers", Proceedings of International Conference on Artificial Intelligence, June 25-28, Las Vegas, Nevada, USA
-
Proceedings of International Conference on Artificial Intelligence
-
-
Xu, H.1
Zhao, Y.2
Jia, P.3
-
15
-
-
84964662136
-
Modeling Open Software Architectures of Robot Controllers: A Brief Survey of Modeling Methods and Developing Methods
-
Orlando, USA, July 22-25
-
Hua Xu, Yannan Zhao, Peifa Jia, Modeling Open Software Architectures of Robot Controllers: A Brief Survey of Modeling Methods and Developing Methods, Proceedings of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001), Orlando, USA, July 22-25, 2001
-
(2001)
Proceedings of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS 2001)
-
-
Xu, H.1
Zhao, Y.2
Jia, P.3
-
16
-
-
0000474691
-
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Object
-
December
-
David B.Stewart, Richard A. Volpe, Pradeep K.Khosla, "Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Object", IEEE Transactions on Software Engineering, Vol.23, No.12,December 1997,pp. 759-776
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.12
, pp. 759-776
-
-
Stewart, D.B.1
Volpe, R.A.2
Khosla, P.K.3
-
17
-
-
0035245228
-
High-level Petri net for incremental analysis of object-oriented system requirements
-
February
-
J.-E.Hong, D.-H.Bae, High-level Petri net for incremental analysis of object-oriented system requirements, IEE Proceedings of software., Vol.148, No.1,. February 2001,Pages 11-18
-
(2001)
IEE Proceedings of Software
, vol.148
, Issue.1
, pp. 11-18
-
-
Hong, J.-E.1
Bae, D.-H.2
-
18
-
-
0028257008
-
The POLYLITH Software Bus
-
January
-
James M. Purtilo, The POLYLITH Software Bus, ACM Transactions on Programming Languages and Systems, Vol. 16,No 1, January 1994, Pages 151-174
-
(1994)
ACM Transactions on Programming Languages and Systems
, vol.16
, Issue.1
, pp. 151-174
-
-
Purtilo, J.M.1
-
19
-
-
84967969415
-
A flexible approach to evolution of reconfigurable systems
-
1992
-
Young, A.J.; Magee, J.N. A flexible approach to evolution of reconfigurable systems, Configurable Distributed Systems, 1992., International Workshop on, 1992, Page(s): 152-163
-
Configurable Distributed Systems, 1992., International Workshop on
, pp. 152-163
-
-
Young, A.J.1
Magee, J.N.2
-
20
-
-
0016968851
-
A Methodology for the Design and Implementation of Communication Protocols
-
June
-
Philip M.Merlin, A Methodology for the Design and Implementation of Communication Protocols, IEEE Transactions on Communications, Vol.COM-24, No.6, June 1976, pp.614-621
-
(1976)
IEEE Transactions on Communications
, vol.COM-24
, Issue.6
, pp. 614-621
-
-
Merlin, P.M.1
-
21
-
-
0004084006
-
-
ML97 Edition, Prentice-Hall, Englewood Cliffs, NJ
-
J.D.Ullman, Elements of ML Programming, ML97 Edition, Prentice-Hall, Englewood Cliffs, NJ,1998
-
(1998)
Elements of ML Programming
-
-
Ullman, J.D.1
|