Pedro Manuel Urbano de Almeida Lima
AuthID: R-000-EX7
151
TITLE: Composing abstractions of hybrid systems
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2002, SOURCE: 5th International Workshop on Hybrid Systems - Computation and Control in HYBRID SYSTEMS: COMPUTATION AND CONTROL, VOLUME: 2289
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2002, SOURCE: 5th International Workshop on Hybrid Systems - Computation and Control in HYBRID SYSTEMS: COMPUTATION AND CONTROL, VOLUME: 2289
INDEXED IN: 
WOS
WOS IN MY: 
ORCID | ResearcherID
ORCID | ResearcherID152
TITLE: Position tracking for underactuated rigid bodies on SE(3)
AUTHORS: Tabuada, P; Lima, P;
PUBLISHED: 2002, SOURCE: 5th IFAC Symposium on Nonlinear Control Systems in NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3
AUTHORS: Tabuada, P; Lima, P;
PUBLISHED: 2002, SOURCE: 5th IFAC Symposium on Nonlinear Control Systems in NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3
INDEXED IN: WOS
WOS IN MY: ORCID | ResearcherID
ORCID | ResearcherID153
TITLE: RoboCup 2001 Full Text
AUTHORS: Lima, P; Balch, T; Fujita, M; Rojas, R; Veloso, M; H.A Yanco;
PUBLISHED: 2002, SOURCE: IEEE Robotics & Automation Magazine - IEEE Robot. Automat. Mag., VOLUME: 9, ISSUE: 2
AUTHORS: Lima, P; Balch, T; Fujita, M; Rojas, R; Veloso, M; H.A Yanco;
PUBLISHED: 2002, SOURCE: IEEE Robotics & Automation Magazine - IEEE Robot. Automat. Mag., VOLUME: 9, ISSUE: 2
155
TITLE: Composing abstractions of hybrid systems
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2002, SOURCE: 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2289
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2002, SOURCE: 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2289
156
TITLE: Hybrid abstractions: A search and rescue case study
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2001, SOURCE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2001, SOURCE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
INDEXED IN: 
Scopus
Scopus IN MY: ORCID
ORCID157
TITLE: Cyclic directed formations of multi-agent systems
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2001, SOURCE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
AUTHORS: Tabuada, P; Pappas, GJ; Lima, P;
PUBLISHED: 2001, SOURCE: 6th European Control Conference, ECC 2001 in 2001 European Control Conference, ECC 2001
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID158
TITLE: Portugal in the European Union: What can we tell the Central and Eastern European countries? Full Text
AUTHORS: Lima, MA;
PUBLISHED: 2000, SOURCE: WORLD ECONOMY, VOLUME: 23, ISSUE: 10
AUTHORS: Lima, MA;
PUBLISHED: 2000, SOURCE: WORLD ECONOMY, VOLUME: 23, ISSUE: 10
INDEXED IN: WOS 
CrossRef
WOS CrossRef159
TITLE: A functional architecture for a team of fully autonomous cooperative robots
AUTHORS: Lima, P; Ventura, R; Aparicio, P; Custodio, L;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
AUTHORS: Lima, P; Ventura, R; Aparicio, P; Custodio, L;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
INDEXED IN: WOS
WOS IN MY: ORCID | ResearcherID
ORCID | ResearcherID160
TITLE: ISocRob - Intelligent society of robots
AUTHORS: Ventura, R; Aparicio, P; Marques, C; Lima, P; Custodio, L;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
AUTHORS: Ventura, R; Aparicio, P; Marques, C; Lima, P; Custodio, L;
PUBLISHED: 2000, SOURCE: 3rd Robot World Cup Soccer Games and Conference in ROBOCUP-99: ROBOT SOCCER WORLD CUP III, VOLUME: 1856
INDEXED IN: WOS
WOS IN MY: ORCID
ORCID