-
1
-
-
0004072686
-
-
(Reading. Massachusetts: Addison-Wesley)
-
Aho, A. V., Sethi, R., and Ullman, J. D., 1985, Compilers Principles, Techniques and Tools (Reading. Massachusetts: Addison-Wesley).
-
(1985)
Compilers Principles, Techniques and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
4
-
-
3343008607
-
Development of a self-organizing underwater vehicle—SOUV
-
Sorrento. Italy
-
Ayela, G., Bjerrum, A., Bruun, S., Pascoal, A., Pereira, F.-L., Petzelt, C., and Pignon, J-P., 1995, Development of a self-organizing underwater vehicle—SOUV. Proceedings of the MAST-Days and Euromar Conference, Sorrento. Italy, pp. 1253-1269
-
(1995)
Proceedings of the Mast-Days and Euromar Conference
, pp. 1253-1269
-
-
Ayela, G.1
Bjerrum, A.2
Bruun, S.3
Pascoal, A.4
Pereira, F.-L.5
Petzelt, C.6
Pignon, J.-P.7
-
6
-
-
0001779056
-
Control architectures: What's going on?
-
Lisbon, Portugal
-
Coste-Mantere, E., Wang, H., and Peuch, A., 1995, Control architectures: what's going on?, Proceedings of the US-Portugal Workshop on Undersea Robotics ond Intelligent Control, Lisbon, Portugal, pp. 54-60.
-
(1995)
Proceedings of the Us-Portugal Workshop on Undersea Robotics Ond Intelligent Control
, pp. 54-60
-
-
Coste-Mantere, E.1
Wang, H.2
Peuch, A.3
-
7
-
-
0005567786
-
-
Internal Report, Institul National de la Recherche en Informatique et en Automatique
-
Espial, B., Kapellos, K., Jouroan, M., and Simon, D., 1995, On the validation of robotic control systems. Part I: High level specification and formal verification. Internal Report 2719, Institul National de la Recherche en Informatique et en Automatique.
-
(1995)
On the Validation of Robotic Control Systems. Part I: High Level Specification and Formal Verification
-
-
Espial, B.1
Kapellos, K.2
Jouroan, M.3
Simon, D.4
-
8
-
-
0003654646
-
-
(Reading. Massachusetts: Addison-Wesley)
-
Franklin, G., Powell, J., and Workman, M., 1990, Digital Control of Dynamic Systems (Reading. Massachusetts: Addison-Wesley).
-
(1990)
Digital Control of Dynamic Systems
-
-
Franklin, G.1
Powell, J.2
Workman, M.3
-
9
-
-
0026202121
-
Time, Petri nets, and robotics
-
Freedman, P., 1989, Time, Petri nets, and robotics. IEEE Transactions on Rahotics anti Automation, 27, 417-433.
-
(1989)
IEEE Transactions on Rahotics Anti Automation
, vol.27
, pp. 417-433
-
-
Freedman, P.1
-
11
-
-
0029707248
-
Autonomous underwater vehicle control coordination using a tri-level hybrid software architecture
-
Minneapolis, Minnesota. USA
-
Healey, A., Marco, D., and McGhee, R., 1996, Autonomous underwater vehicle control coordination using a tri-level hybrid software architecture. Proceedings of the IEEE Robotics and Automation Conference, Minneapolis, Minnesota. USA. pp. 2149-2159.
-
(1996)
Proceedings of the IEEE Robotics and Automation Conference
, pp. 2149-2159
-
-
Healey, A.1
Marco, D.2
McGhee, R.3
-
12
-
-
85023449327
-
-
(editors), Monterey, California, USA
-
Lint, M., and McGhee, R. (editors). 1994, Proceedings of the International Advanced Robotics Program Second Workshop on Mobile Robots for Stthsea Environments, Monterey, California, USA.
-
(1994)
Proceedings of the International Advanced Robotics Program Second Workshop on Mobile Robots for Stthsea Environments
-
-
Lint, M.1
McGhee, R.2
-
13
-
-
0024645936
-
Petri nets; properties, analysis, and applications
-
Mura t a, T„ 1989, Petri nets; properties, analysis, and applications. Proceedings of the IEEE, 77, 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
14
-
-
85023581814
-
Design, development and testing of a mission control system for the MARIUS AUV
-
Toulon, France
-
Ouvtttra, P., Pascoai, A., Silva, V., and Silvestre, C., 1996, Design, development and testing of a mission control system for the MARIUS AUV. Proceedings of the Sixth International Advanced Robotics Program Workshop on Underwater Robotics, Toulon, France.
-
(1996)
Proceedings of the Sixth International Advanced Robotics Program Workshop on Underwater Robotics
-
-
Ouvtttra, P.1
Pascoai, A.2
Silva, V.3
Silvestre, C.4
-
15
-
-
3342971012
-
The AUV MARIUS: Mission scenarios, vehicle design, construction and testing
-
Monterey Bay Aquarium, Monterey. California. USA
-
Pascoai, A., 1994, The AUV MARIUS: mission scenarios, vehicle design, construction and testing. Proceedings of the Second Workshop on Mobile Robots for Subsea Environments, Monterey Bay Aquarium, Monterey. California. USA, pp. 127-140.
-
(1994)
Proceedings of the Second Workshop on Mobile Robots for Subsea Environments
, pp. 127-140
-
-
Pascoai, A.1
-
17
-
-
0018504582
-
Towards the realization of intelligent controls
-
Saridis, G., 1979, Towards the realization of intelligent controls. Proceedings of the IEEE, 67, 1115-1133
-
(1979)
Proceedings of the IEEE
, vol.67
, pp. 1115-1133
-
-
Saridis, G.1
-
18
-
-
0024667885
-
Analytical formulation of the principle of increasing precision with decreasing intelligence for intelligent machines
-
Saridis, G., 1989, Analytical formulation of the principle of increasing precision with decreasing intelligence for intelligent machines. Automatica, 25, 461-467.
-
(1989)
Automatica
, vol.25
, pp. 461-467
-
-
Saridis, G.1
-
20
-
-
3342944913
-
Design and implementation of real time mission control systems for autonomous underwater vehicles: The CORAL and ATOL software programming environments
-
Institulo de Sistems e Robotica (ISR). Lisbon, Portugal
-
Silva, V., Oliveira, P., Stlvestre, C., and Pascoal, A., 1995. Design and implementation of real time mission control systems for autonomous underwater vehicles: the CORAL and ATOL software programming environments. Internal Report, Institulo de Sistems e Robotica (ISR). Lisbon, Portugal.
-
(1995)
Internal Report
-
-
Silva, V.1
Oliveira, P.2
Stlvestre, C.3
Pascoal, A.4
-
21
-
-
0027891697
-
Computer aided design of a generic robot controller handling reactivity and real time control issues
-
Simon, D., Espiau, B., Castillo, E., and Kapellos, K., 1993. Computer aided design of a generic robot controller handling reactivity and real time control issues. IEEE Transactions on Control Systems Technology, 1, 213-229.
-
(1993)
IEEE Transactions on Control Systems Technology
, vol.1
, pp. 213-229
-
-
Simon, D.1
Espiau, B.2
Castillo, E.3
Kapellos, K.4
-
22
-
-
85023508937
-
-
(editors), Lisbon, Portugal
-
Valavanis, K., Saridis, G., Pascoal, A., Lima, P., and Pereira, F.-L. (editors). 1995, Proceedings of the Joint US-Partugal Workshop on Undersea Robotics and Intelligent Control, Lisbon, Portugal.
-
(1995)
Proceedings of the Joint Us-Partugal Workshop on Undersea Robotics and Intelligent Control
-
-
Valavanis, K.1
Saridis, G.2
Pascoal, A.3
Lima, P.4
Pereira, F.-L.5
|