Home Page of Paula Rocha

 

       

        Contacts

        CV

        Research

        Students

        Teaching

        Links

 

 

 

·           Papers for FCT project proposal CRAFIN: here

·           Outputs of FCT Project INSTEAD: here

 

 

 


Contacts  

              Address: Department of Electrical and Computer Engineering - Faculty of Engineering - University of Oporto

                                Rua Dr. Roberto Frias 4200-465 - Porto – Portugal

 

              Office location: Building I, room I310

              Phone: + 351- 22 508 1844             e-mail: mprocha@fe.up.pt


Short Curriculum Vitae    

 

·         Current position

           Full Professor at the Department of Electrical and Computer Engineering, Faculty of Engineering, University of Oporto, Portugal.

·         Previous positions

     University of Aveiro (Assistant, Associate and Full Professor)

     Delft University of Technology, The Netherlands (Assistant Professor)

     University of Oporto (Teaching Assistant)

·         Degrees

         2001 - "Agregação" in Mathematics, University of Aveiro, Portugal

         1990 - Ph.D. in Mathematics and Natural Sciences (Systems and Control), University of Groningen, The Netherlands

         1983 - B.Sc. in Applied Mathematics, University of Oporto , Portugal

·         Memberships:

   Systems and Control Group - Center for Research and Development in Mathematics and Applications (SCG-CIDMA)

          IEEE CSS Technical Committee on Behavioral Systems and Control Theory

          Portuguese Association of Automatic Control (APCA)

          Portuguese Mathematical Society (SPM)

          


Research

Research interests: One-dimensional and multidimensional behavioral systems; control for biomedical applications


Publications    Book chapters   Journal papers   Papers in conference proceedings     (in construction)


Book chapters

12. Implementation of 2D strongly autonomous behaviors by full and partial interconnections - to appear in Positive Systems: Theory and Application, Lecture Notes in Control and Information Sciences, (2009), with Diego Napp.

11. A Contribution to the Study of Periodic Systems in the Behavioral Approach - Taming Heterogeneity and Complexity in Embedded Control, F. Lamnabhi-Laguarrigue, A. Loria, E. Planteley and S. Lagarouche, Eds., ISTE/Hermes Science Publications, Paris, France, (2007), pp. 23-38,  with J. C. Aleixo and J.W. Polderman.

10. A Test for State/Driving-Variable Representability of 2D Behaviors – Constructive Algebra and Systems Theory, B. Hanzon and M. Hazewinkel, Eds, Proceedings of the Royal Netherlands Academy of Arts and Science, Amsterdam, The Netherlands, (2006), pp. 185-192, with Isabel Brás.

9. Symmetries for Linear Discrete 2D Behaviors - Recent Advances in Operator Theory and its Applications, M.A. Kaashoek, S. Seatzu and C. van der Mee, Eds, Operator Theory: Advances and Applications, 160 (2005), Birkhäuser, pp. 367-382, with P. Vettori and J.C. Willems.

8. Controllability and the Ability to Control - in The Mathematics of Systems and Control: from Intelligent Control to Behavioral Systems, J. W. Polderman and H.L. Trentelman (eds.), Foundation of Systems and Control, Groningen, The Netherlands, 1999, pp.141-149.

7. A Foundation for the Control Theory of Multidimensional Systems –in Mathematical Theory of Networks and Systems, Padova, Italy, A. Beghi, L. Finesso and G. Picci (eds.), Padova, 1998, Il Poligrafo, pp. 377-380, with J. Wood.

6. Acausal State Representation for 2D Systems - in Systems and Networks: Mathematical Theory and Applications, vol. II, Mathematical Research, vol. 79, Helmke, Mennicken and Saurer (eds.), Akademie Verlag, Berlin, 1994, pp. 843-846, with S. Zampieri.

5. Representation of Noncausal 2D Systems - in New Trends in Systems Theory, Progress in Systems and Control Theory, vol.7, G. Conte, A. M. Perdon, B. Wyman (eds.), Birkhäuser, Boston, 1991, pp.630-635.

4. Controllability of Delay-Differential Systems - in Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences, vol. 144, A. Bensoussan, J.L. Lions (eds.), Springer-Verlag, 1990, pp. 332-340, with J.C. Willems.

3. Markovian Properties for 2-D Systems - in Realization and Modelling in System Theory, Progress in Systems and Control Theory, vol.3, M.A.Kaashoek, J.H. van Schuppen, and A.C. Ran (eds.), Birkhäuser, Boston, 1990, pp. 343-349, with J.C. Willems.

2. A State Representation for 2-D Systems - in Realization and Modelling in System Theory, Progress in Systems and Control Theory, vol.3, M.A.Kaashoek, J.H. van Schuppen, and A.C.Ran (eds.), Birkhäuser, Boston, 1990, pp. 333-341, with J.C. Willems.

1. Deterministic Markovian 2-D Systems - in Analysis and Optimization of Systems, Lecture Notes in Control and Information Sciences, A. Bensoussan, J.L. Lions (eds.), vol.111, Springer-Verlag, 1988, pp.1079-1090, with J.C. Willems.


Journal papers

32.  Lyapunov stability of 2D finite-dimensional behaviors – International Journal of Control (to appear in 2011), with Paolo Rapisarda and Diego Napp.

 

31. Markovian properties for 2D behavioral systems described by PDE’s: the scalar case – Multidimensional Systems and Signal Processing (2011), Vol. 2, pp.45-53, with Jan C. Willems.

 

30. A general stability test for switched positive systems based on a multidimensional system analysis – IEEE Transactions on Automatic Control (2010), Vol.55 nº 11, pp.2660-2664, with Hugo Alonso.

 

29. Target mass control for uncertain compartmental systems – International Journal of Control (2010), Vol.83 nº 7, pp.1387-1396, with C. Sousa and T. Mendonça.

28. Autonomous multidimensional systems and their implementation by behavioral control – Systems & Control Letters (2010), 59, pp. 203-208, with Diego Napp.

27. Strongly autonomous interconnections and stabilization of 2D behaviors - Asian Journal of Control (2010), 12-2, pp. 127-135, with Diego Napp.

26. A Switching Control Strategy for Improving Drug Infusion - International Journal of Control (2009), 82-12, pp. 2221-2234, with António Neves and Teresa Mendonça.

25. Hopfield neural networks for on-line parameter estimation - Neural Networks (2009), 22-4, pp. 450-462, with Hugo Alonso and Teresa Mendonça.

24. Drug Delivery for Neuromuscular Blockade With Supervised Multi-model Adaptive Control –IEEE Trans. Control Systems Technology (2009), 17-6, pp. 1237-1244, with T. Mendonça, J. M. Lemos, H. Magalhães, and Simão Esteves.

23. Stabilization of multidimensional behaviors - Multidimensional Systems and Signal Processing (2008), 19-3/4, pp. 273-286.

22. A hybrid method for parameter estimation and its application to biomedical systems -  Computer Methods and Programs in Biomedicine (2008), 89-2, pp. 112-122, with H. Alonso and T. Mendonça.

 

21. On the determinant of quaternionic polynomial matrices and its application to system stability - Mathematical Methods in the Applied Sciences, (2008), Vol.31 nº 1, pp.99-122, with R. Pereira.

 

20. Periodically time-varying behavioral systems - Automatica, 43 - 11 (2007), pp. 1921-1931, with J.C. Aleixo and J.W. Polderman.

 

19. Controllability and extendibility of continuous multidimensionall behaviors – Multidimensional Systems and Signal Processing, 17 -2/3 (2006), pp. 97-106, with Eva Zerz.

 

18. Markov Properties for Systems Described by PDE’s and First Order Representations – Systems & Control Letters, 55 - 7 (2006), pp. 538-542,with Jan C. Willems.

 

17. Algebraic Tools for the Study of Quaternionic Behavioral Systems – Linear Algebra and Its Applications, 400 (2005), pp. 121-140, with Ricardo Pereira and Paolo Vettori.

 

16. Strong Controllability and Extendibility of Discrete Multidimensional Behaviors – Systems & Control Letters 54 - 4 (2005), pp. 375-380, with Eva Zerz.

 

15. Feedback Control of Multidimensional Behaviors - Systems & Control Letters, 45 (2002), pp. 207-215.

 

14. State Driving-Variable Representation of 2D Systems - Multidimensional Systems and Signal Processing, 13 (2002), pp. 129-156, with Isabel Brás.

 

13. Trajectory Control and Interconnection of 1D and nD Systems - SIAM Journal of Control and Optimization, 40-1 (2001), pp. 107-134, with J. Wood.

 

12. Structure Indices for Multidimensional Systems - IMA Journal of Control and Information, 17 (2000), pp. 227-256, with J. Wood, E. Rogers and D.H. Owens.

 

11. A New Perspective on Controllability Properties for Dynamical Systems - Journal of Applied Mathematics and Computer Science, 7-4 (1997), pp. 869-879, with Jeffrey Wood.

 

10. Behavioral Controllability of Delay-Differential Systems - SIAM Journal of Control and Optimization, 35-1 (1997), pp. 254-264, with J.C. Willems.

 

9. Stability of Discrete Non-Unit Memory Linear Repetitive Processes: A 2D Systems Approach - International Journal of Control, 63-3 (1996), pp. 457-482, with E. Rogers and D.H. Owens.

 

8. Adirectional Markov Models for 2D Systems - IMA Journal of Mathematical Control and Information, 12 (1995), pp. 37-56, with S. Zampieri.

 

7. MA Representation of l2 2D Systems - Kybernetika, 29-5 (1993), pp.511-515.

 

6. State Space Realization of 2D FiniteDimensional Behaviours - SIAM Journal of Control and Optimization, 31-6 (1993), pp.1502-1517, with E. Fornasini and S. Zampieri.

 

5. Closed Subspaces, Polynomial Operators in the Shift, and ARMA Representations - Applied Mathematics Letters, 4-3 (1991), pp. 15-19, with J. Komornik and J.C. Willems.

 

4. On the Representation of 2-D Systems - Kybernetika, 27-3 (1991), pp. 225-230, with J.C. Willems.

 

3. Controllability of 2-D Systems - IEEE Transactions on Automatic Control, 36-4 (1991), pp. 413-423, with J.C. Willems.

 

2. Canonical Computational Forms for AR 2-D Systems - Multidimensional Systems and Signal Processing, 1 (1990), pp. 251-278, with J.C. Willems.

 

1. State for 2-D Systems - Linear Algebra and Its Applications, 122/123/124 (1989), pp.1003-1038, with J.C. Willems.

 


Papers in conference proceedings

62. Controllability and reconstructibility of periodic state space systems – a behavioral approach, 4th IFAC Symposium on System Structure and Control – SSSC 2010, with José Carlos Aleixo.

 

61. A new stability test for switched positive discrete-time systems based on a multidimensional system analysis, 9th Portuguese Conference on Automatic Control – Controlo 2010, with Hugo Alonso.

60. Global reachability of 2D structured systems, 9th Portuguese Conference on Automatic Control – Controlo 2010, with Ricardo Pereira and Rita Simões.

59. Control of 2D behaviors by partial interconnection, 19th International Symposium on the Mathematical Theory of Networks and Systems – MTNS 2010, with Diego Napp.

58. Implementation of autonomous multidimensional behaviors, 48th IEEE Conference on Decision and Control - CDC 2009, with Diego Napp.

57. On-line damage detection using a dynamical neural network, Proceedings of the 7th EUROMECH Solid Mechanics Conference (ESMC'09), with Hugo Alonso and Pedro Ribeiro.

56. Total mass TCI driven by parametric estimation, Proceedings of the Mediterranean Conference on Control and Automation MED 2009, with M. Silva et al.

55. On the use of state observers in compartmental systems control, Proceedings of the Mediterranean Conference on Control and Automation MED 2009, with C. Sousa and T. Mendonça.

54. An automatic system for on-line change detection with application to structural health monitoring, Proceedings of the 35th Annual Conference of the IEEE Industrial Electronics Society - IECON 2009, with H. Alonso and P. Ribeiro. 

53. Finite dimensional interconnections and stabilization of 2D behaviors, Proceedings of the European Control Conference ECC 2009, with Diego Napp.

52. Stability of reset switched systems, Proceedings of the 8th Portuguese Conference on Automatic Control, Controlo 2008, July 21-23 2008, Vila Real, Portugal, with I. Brás e A.C. Carapito.

51. Total mass control in uncertain compartmental systems, Proceedings of the 8th Portuguese Conference on Automatic Control, Controlo 2008, July 21-23 2008, Vila Real, Portugal, with C. Sousa and T. Mendonça.

50. Comparison of the property of state-reconstructibility with behavioral reconstructibility for periodic systems, Proceedings of the 8th Portuguese Conference on Automatic Control, Controlo 2008, July 21-23 2008, Vila Real, Portugal, with J.C. Aleixo.

49. Relative stability of linear systems, Proceedings of the 8th Portuguese Conference on Automatic Control, Controlo 2008, July 21-23 2008, Vila Real, Portugal, with J. Esteves.

48. Reconstructibility and forward-observability of behaviors over Z - Proceedings of the 3rd IFAC Symposium on System Structure and Control, IFAC SSSC´07, Iguassu Falls, Brazil, 2007, with J.C. Aleixo.

47. A note on behavioral reachability - Proceedings of the European Control Conference, ECC 2007, Kos, Greece, 2007, 6 pp., with J. C. Aleixo.

46. A contribution to the use of Hopfield neural networks for paramater estimation - Proceedings of the European Control Conference, ECC 2007, Kos, Greece, 2007, 6 pp., with H. Alonso and T. Mendonça

45. Multiple Model Adaptive Control of Neuromuscular Blockade: Design Guidelines and Clinical Cases - Proceedings of the European Control Conference, ECC 2007, Kos, Greece, 2007, 6 pp., with T. Mendonça, H. Magalhães, J. Lemos and S. Esteves.

44. An algorithm for SDV representation of 2D behaviors - Proceedings of the 2007 International Workshop on Multidimensional (nD) Systems, NDS 2007, Aveiro, Portugal, 2007, 6pp, with I. Brás.

43. Control of uncertain compartmental systems - Proceedings of the Mediterranean Control Conference, MED 2007, Athens, Greece, 2007, 6 pp, with C. Sousa and T. Mendonça. 

42. Nature Inspired Varying Control for Neuromuscular Blockade - Proceedings of the 2nd European Symposium on Nature-inspired Smart Information Systems, Puerto de la Cruz, Tenerife, Spain, 2006, 6 pp., with T. Mendonça.

41. Observer design in switching control of neuromuscular blockade: clinical cases - Proceedings of the 28th IEEE International Conference of the. Engineering in Medicine and Biology Society, EMBS 2006, New York, USA, 2006, 4 pp., with H. Magalhães, J. Lemos, T. Mendonça, S. Esteves,and J.P. Gaivão.

40. Multiple Strategies for Parameter Estimation via a Hybrid Method - Proceedings of the 6th IFAC Symposium on Modelling and Control of Biomedical Systems, MCBMS 2006, Reims, France, 20-22 September, 2006, 6 pp., with Hugo Alonso and Teresa Mendonça.

39. Autonomicity and the Absence of Free Variables for behaviors over Finite Rings -  Proceedings of the 7th Portuguese Conference on Automatic Control, Controlo 2006, Lisbon, Portugal, 11-13 September, 2006, 5 pp., with M. Kuijper, R. Pinto and J.W. Polderman.

38. Practical Implementation Issues for Switching Between Stabilizing Controllers - Proceedings of the 7th Portuguese Conference on Automatic Control, Controlo 2006, Lisbon, Portugal, 11-13 September, 2006, 6 pp., with J.P. Gaivão, E. Santos and T. Mendonça.

37. Stability of Interconnected Switched Systems - Proceedings of the 7th Portuguese Conference on Automatic Control, Controlo 2006, Lisbon, Portugal, 11-13 September, 2006, 6 pp., with I. Brás and A. Carapito.

36. Comparison of the Properties of State-controllability and State-reachability with behavioral Controllability for Periodic Systems - Proceedings of the 7th Portuguese Conference on Automatic Control, Controlo 2006, Lisbon, Portugal, 11-13 September, 2006, 6 pp., with J.C. Aleixo and T.P. Lima.

35. Contributions to Parameter Estimation Using Feedforward Neural Networks – Proceedings of the 7th Portuguese Conference on Automatic Control, Controlo 2006, Lisbon, Portugal, 11-13 September, 2006, 6 pp., with H. Alonso and T. Mendonça.

34. Set-controllability, behavior interconnection and stabilization of multidimensional behaviors - Proceedings of the 17th Symposium on the Mathematical theory of Networks and Systems, MTNS 2006, Kyoto, Japan, 24-28 July 2006, pp. 1858-1865.

33. Stability of quaternionic systems: a determinantal approach - Proceedings of the 17th Symposium on the Mathematical theory of Networks and Systems, MTNS 2006, Kyoto, Japan, 24-28 July 2006, pp. 2468-2493, with R. Pereira.

32. Controllability, autonomicity and free variables in periodic behaviors - Proceedings of the 17th Symposium on the Mathematical theory of Networks and Systems, MTNS 2006, Kyoto, Japan, 24-28 July 2006, pp. 2513-2523, with J.C. Aleixo and J.W. Polderman.

31. Observer Dynamics in Switching Control: Application to Neuromuscular Blockade – Proceedins of IEEE Symposium on Intelligent Signal Processing, WISP 2005, Faro, Portugal, pp. 211-216, with João M. Lemos, Hugo Magalhães and Teresa Mendonça.

30. A Hybrid Method for On-line Parameter Estimation – Proceedins of IEEE Symposium on Intelligent Signal Processing, WISP 2005, Faro, Portugal, pp. 304-309, with Hugo Alonso, Hugo Magalhães and Teresa Mendonça.

29. Further results on the behavioral theory of periodic systems – Proceedings of the 44th CDC/ECC 2005, Seville, Spain, pp. 808-813, with J.C. Aleixo and J.W. Polderman.

28. Infinite-dimensional Systems Described by First order PDE’s – Proceedings of the 4th International Workshop on Multidimensional (ND) Systems, NDS 2005, Wuppertal, Germany, 5 pp., with J.C. Willems.

27. Canonical Controllers and Regular Implementation of nD Behaviors - Preprints of the 16th IFAC World Congress 2005, Prague, Czech Republic, 6 pp.

26. Identification and Control of Positive and Compartmental Systems Applied to Neuromuscular Blockade – Preprints of the 16th IFAC World Congress 2005, Prague, Czech Republic, 6 pp., with H. Magalhães and Tersa Mendonça.

25. On the Markov Property for Continuous Multidimensional Behaviors – Proceedings CD-ROM of the Sixteenth International Symposium on the Mathematical Theory of Networks and Systems, MTNS 2004, Leuven, Belgium, July 5-9, 2004, with Jan C. Willems and Isabel Brás.

24. Strong Controllability of Continuous Multidimensional Behaviors – Proceedings CD-ROM of the Sixteenth International Symposium on the Mathematical Theory of Networks and Systems, MTNS 2004, Leuven, Belgium, July 5-9, 2004,, with Eva Zerz.

23. BIBO-Stability of Quaternionic Systems - Proceedings of the 6th Portuguese Conference on Automatic Control, Controlo 2004, Faro, Portugal, 7-9 June, 2004, with Ricardo Pereira and Paolo Vettori.

22. Switching Control Based On Multiple Models - Proceedings of the 6th Portuguese Conference on Automatic Control, Controlo 2004, Faro, Portugal, 7-9 June, 2004, with António Neves and Teresa Mendonça.

21. nD Markovian Behaviors: the Discrete Finite-Dimensional Case - Proceedings of the 6th Portuguese Conference on Automatic Control, Controlo 2004, Faro, Portugal, 7-9 June, 2004, with Jan C. Willems.

20. Regular Implementability of nD Behaviors - Proceedings of the Fifteenth International Symposium on the Mathematical Theory of Networks and Systems, MTNS 2002, University of Notre Dame, South Bend, Indiana, August 12-16, 2002, CD-ROM, www.nd.edu/ mtns, 10 pp., 2002.

19. A Switching Control Scheme for Improving Reference Tracking -Proceedings of the Fifth Portuguese Conference on Automatic Control, Controlo 2002, University of Aveiro, Aveiro, September 5-7,2002, pp.273-277, 2002, with António Neves and Teresa Mendonça.

18. On-Line Multiple Model Switching Control Implementation: A Case Study - (CD-ROM) Proceedings of 10th Mediterranean Conference on Control and Automation, Med’2002, Lisbon, July 9-12, 2002, with Teresa Mendonça, Pedro Lago, Hugo Magalhes and António Neves.

17. A Matlab Tool for Switching Control - Proceedings of the Fifth Portuguese Conference on Automatic Control, Controlo 2002, University of Aveiro, Aveiro, September 5-7, 2002, pp. 284-288, 2002, with Hugo Magalhães, Teresa Mendonça and Pedro Lago.

16. State Representation of ND Behaviors” - Proceedings of the Fifth Portuguese Conference on Automatic Control, Controlo 2002, University of Aveiro, Aveiro, September 5-7, 2002, pp. 544-547, 2002, with Isabel Brás.

15. An Alternative Characterization for State/Driving-Variable Representability of 2D Kernel Behaviors, Proceedings of the 6th European Control Conference, ECC01, Porto, Portugal, September 2001, with Isabel Brás.

14. Tracking by Switching Control: A Case Study - in Proceedings CD of the 4th Portuguese Control Conference, Controlo 2000, Guimarães, Portugal, October 2000, with António Neves and Teresa Mendonça.

13. A Switching Scheme for Neuromuscular Blockade Control - in Proceedings of the 14th International Conference on Systems Engineering, ICSE-2000, Coventry, U.K., September 2000, Control Theory and Applications Centre, University of Coventry, with António Neves and Teresa Mendonça.

12. Feedback Control of Multidimensional Systems - in Proceedings CD of the 14th International Symposium on the Mathematical Theory of Networks and Systems, MTNS 2000, June 19-23 2000, Perpignan, France, A. El Jai and M. Fliess (eds.), 2000.

11. Interconnection and Control of Multidimensional Systems Using Latent Variables – in Proceedings CD of the 14th International Symposium on the Mathematical Theory of Networks and Systems, MTNS 2000, June 19-23 2000, Perpignan, France, A. El Jai and M. Fliess (eds.), 2000, with J. Wood.

10. From 2D kernel Representations to State/Driving-Variable Models - in Proceedings CD of the 14th International Symposium on the Mathematical Theory of Networks and Systems, MTNS 2000, June 19-23 2000, Perpignan, France, A. El Jai and M. Fliess (eds.), 2000, with Isabel Brás.

9. A Remark on the Solvability Conditions for the Pole-Zero Placement Problem - Proceedings of the Third Portuguese Conference on Automatic Control, Controlo’98, September 9-11, 1998, Coimbra, Portugal, A. Dourado et al. (eds.), APCA, Vol. 2, withTeresa Mendonça and António Neves.

8. Solvents with Property L of Second Order 2D Polynomial Matrices - Proceedings of the Third Portuguese Conference on Automatic Control, Controlo’98, September 9-11, 1998, Coimbra, Portugal, A. Dourado et al. (eds.), APCA, Vol. 2, with Isabel Brás and Teresa Pedroso de Lima.

7. Factorization of Second Order 2D Polynomial Matrices - Proceedings of the Meeting on Matrix Analysis and Applications, EAMA-97, Sevilla, 10-12 September 1997, F.J. Cobos, J.R. Gómez and F. Mateos (eds.), pp.64-71, with Isabel Brás and Teresa Pedroso de Lima.

6. State/driving-variable Representations and Model Reduction for l2 2D Systems –Proceedings of the European Control Conference, ECC’97, Brussels, 1-4 July 1997.

5. A decomposition Approach to Second Order 2D Models - Proceedings of the Second Portuguese Conference on Automatic Control, Controlo’96, September 11-13 1996, Porto, Portugal, APCA, Vol. I, 1996, pp. 425-428, with Isabel Brás and Teresa Pedroso de Lima.

4. Behavioral Interpretation of Weak and Strong Controllability of Delay-Differential Systems - Preprints of the IFAC Conference on System Sructure and Control, Nantes, France, 4-7 July 95, M. Guglielmi, ed., IFAC, 1995, pp. 506-510.

3. Controllability of Delay-Differential Systems - Proceedings of the 33rd IEEE Conference on Decision and Control, Orlando, Florida, December 14-16, 1994, pp. 2894-2897, with J.C. Willems.

2. 2D Linear Systems: Recent Progress and Open Research Questions – Proceedings of the IMA International Conference on Control, Modelling, Comp. and Inf., 2-4 September 92, Manchester, U.K., Oxford University Press, 1992, pp.525-529, with E. Rogers.

1. State Realization of 2D Finite Dimensional Autonomous Systems - Proceedings of the 1st European Control Conference, Grenoble, France, July 2-5, 1991, vol.1, C.Commault et al. (eds.), Hermés, Paris, 1991, pp.715-719, with E. Fornasini and S. Zampieri.


Students

M.Sc. students

·         Leonel Vicente - "Alguns aspectos da abordagem comportamental aos sistemas dinâmicos", 1998

·         Júlia Duarte - "Propriedades estruturais e controlo de sistemas 2D", 2003

·         Sónia Laranjeira - "Realizações equilibradas de sistemas lineares", 2005

·         Elsa Santos - "Estabilidade em esquemas de controlo com comutação", 2005

·         Filipa Nogueira – “Bases de Gröbner e equações às diferenças parciais”, 2008

·         Eliana Marques – “Sistemas Compartimentais”, 2008

·         Manuel Évora – “Controlo H-infinity: uma aplicação aos sistemas eléctricos de energia”, 2010

Ph.D. students (supervised or co-supervised )

·         Isabel Brás - "Sobre a representação de sistemas 2D por modelos de primeira ordem", 2000

·         António Neves - "Controlo comutado para a infusão de fármacos", 2003

·         Raquel Pinto - " Matrix fraction descriptions in convolutional coding", 2003

·         Ricardo Pereira - "Quaternionic polynomials and behavioral systems", 2006

·         Hugo Magalhães - "Contributions to neuromuscular blockade control", 2006

·         José Carlos Aleixo - " Behavioral periodic systems", 2008

·         Hugo Alonso – “Neural and hybrid methods for estimation and classification “, 2008

·         Ana Catarina Carapito – “Estabilidade de sistemas comutados com reset parcial”, 2010

·         Cláudia Sousa – “Controlo de Sistemas compartimentais com incertezas”, 2011

·         Filipa Nogueira – control of positive systems (in progress)

·         Telma Pinho – 2D convolutional codes (in progress)

 

Post-docs

·         Paolo Vettori (2001/02)

·         Hugo Alonso (2008-2010)

·         Diego Napp (2008 -2011)

 

 

 

 

 


Teachingold stuff

Sistemas Lineares de Controlo                          Controlo Linear                      Complementos de Álgebra Linear

____________________________________________________________________________________________________________________________________________________________________________________________

 

Sistemas Lineares de Controlo 2008/2009 

 

Informação sobre a disciplina

Programa

Bibliografia

Métodos de avaliação

 

Apresentações das aulas

       Capítulo 1

·         Introdução aos sistemas dinâmicos de controlo

       Capítulo 2 - Modelos de espaços de estados

·         Introdução aos modelos de espaço de estados

·         Linearização de modelos de primeira ordem

·         Solução das equações de espaço de estados, função de transferência e resposta ao impulso

·         Mudanças de base no espaço de estados - sistemas algebricamente equivalentes

·         Propriedades das soluções das equações de espaço de estados

        Capítulo 3 - Controlabilidade e observabilidade

·         Controlabilidade  

·         Observabilidade 

          Capítulo 4 - Estabilidade

·         Estabilidade

        Capítulo 5 - Controladores e observadores

·         Controlo por realimentação do estado

·         Observadores

·         Compensação dinâmica

Fichas de exercícios

·         Ficha 1

·         Ficha 2

·         Ficha 3

·         Ficha Prática 1  

·         Resolução Ficha Prática 1/EXERCICIO1

·         Resolução Ficha Prática 1/EX1-STEPY

·         Resolução Ficha Prática 1/EX1-STEPX

·         Resolução Ficha Prática 1/EXERCICIO2

·         Resolução Ficha Prática 1/EX2-IMP

·         Resolução Ficha Prática 1/EX2-STEP

·         Resolução Ficha Prática 1/EX2-X

·         Resolução Ficha Prática 1/EX2-Y

·         Resolução Ficha Prática 1/EXERCICO3

·         NOTA: para obter a listagem das funções da toolbox de controlo do MATLAB, fazer help control; para obter uma descrição de cada uma das funções fazer help nome da função. 

·         Ficha 4

·         Ficha 5  

·          

Tutoriais sobre Matlab

http://users.ece.gatech.edu/~bonnie/book/TUTORIAL/tut_1.html

http://users.ece.gatech.edu/~bonnie/book/TUTORIAL/tut_3.html

http://users.ece.gatech.edu/~bonnie/book/TUTORIAL/tut_5_6.html

 

Avaliação 2008/09

teste: Enunciado   Correcção  Notas

teste (18-12-2008): Notas

 

Avaliação de anos anteriores

·         Enunciado do 1º teste

·         Enunciado do 2º teste

·         Enunciado do 3º teste

·         Enunciado do exame final

·         Enunciado do exame da época especial

·         Trabalho SLC

______________________________________________________________________________________

Controlo Linear

 

Informação sobre a disciplina     General information

 

Apresentações das aulas - Slides

1.   Introdução - Sistemas dinâmicos de controlo    Introduction

2.   Equações de estado    State equations

3.   Controlabilidade    Controllability

4.   Observabilidade   Observability

5.   Realização   Realization

6.   Estabilidade   Stability

7.   Controladores e observadores   Controllers and observers

     7.1 Controlo por realimentação do estado     Control by state feedback

     7.2 Observadores    Observers

     7.3 Compensação dinâmica   Dynamic compensation

 

Exemplos – Examples

1. Circuito eléctrico – Electrical circuit

Figura - Figure

Caso particular - Particular case RL=1,RC=2,L=1,C=1

    Controlo para zero em tempo finito - Control to zero in finite time

        Matlab instructions    Plot x1     Plot x2

 

Trabalho    

__________________________________________________________________________________________________________________

 

Complementos de Álgebra Linear

 

Programa   Bibliografia    Avaliação

 

Apontamentos

Capítulo I - Endomorfismos e subespaços invariantes

Capítulo II - Endormorfismos em espaços vectoriais com produto interno

SLIDES -Triangularização de matrizes

Capitulo III - Espaço vectorial quociente

Capítulo IV – Espaços afins

SLIDES - Cónicas

SLIDES - Quádricas

 

Apontamentos extra (matéria não leccionada)

 Produto interno (útil para rever conceitos sobre produto interno usados no Capítulo II)

Mais sobre espaços afins euclidianos (projecções ortogonais, ângulos e distâncias – aplicação dos conceitos estudados no Capítulo IV)

 

Fichas de trabalho

Ficha 1

Matlab

Ficha 2 (versão de 5/5/2008)

Ficha 3  (versão de 6/5/2008)

Ficha 4

Ficha 5

Ficha 6

Ficha 6 - continuação

Ficha 7

 

Provas de avaliação

Primeiro teste   Enunciado teste 1   Notas teste 1

Segundo teste   Enunciado teste 2   Resolução   Notas teste 2

Terceiro teste    Enunciado teste 3a   Enunciado teste 3b

Exame final   Enunciado exame final

Notas do terceiro teste (3a+3b) e do exame final

Exame de recurso  Enunciado exame recurso  Notas do exame de recurso

____________________________________________________________________________________________________

Controlo Linear 2007/2008

Trabalho 1

Trabalho 2

____________________________________________________________________________________________________

____________________________________________________________________________________________________

·         e-learning UA

·         PACO

__________________________________________________________________________________________________________________________________

 

 

 

 

 

 

Links

nDS'07

My university  University of Oporto (UP)

My e-mail server

My Department  Department of Electrical and Computer Engineering (DEEC)

My faculty Faculty of Engineering

My research center  R&D Unit Mathematics and Applications

Portuguese Association of Automatic Control  APCA

Portuguese Society of Mathematics  SPM

Portuguese Science and Technology Foundation  FCT

Calouste Gulbenkian Foundation

Google

 

 

INSTEAD

Publications/communications

 

01-04-2010 – 31-03-2011

·        Napp, D., Rapisarda, P., Rocha P.  Time relevant stability of 2D systems, paper accepted (March 2011) for publication in Automatica. Remark: this paper has been meanwhile published in the following issue: Automatica, Vol.47 nº 11, pp.2373-2382, 2011.

·        Napp, D., Rapisarda, P., Rocha P. Time relevant 2D systems, communication submitted (IN March 2011) to the 7th International Workshop on Multidimensional (nD) Systems, September 2011, Poitiers, France. Remark: this communication has been meanwhile accepted and presented, and will be included as output of the second year of the project.

 

 

 

 

CRAFIN – 5 previous publications

 

·         M. Kuijper, R. Pinto and J.W.Polderman: “The predictable degree property and row reducedness for systems over a finite ring”, Linear Alg. Appl., Vol. 425, pp. 776-796, 2007 (pdf)

·         M. Kuijper and R. Pinto, “On minimality of convolutional ring encoders”, IEEE Trans. Information Theory, vol. 55:11 pp.4890 – 4897,2009 (pdf

)

·         D.Napp, P. Rocha, "Autonomous multidimensional systems and their implementation by behavioral control", Systems & Control Letters, Vol.59 nº 3, pp.203-208, 2010 (pdf)

·         P. Rocha, J.C. Willems, “Behavioral Controllability of Delay-Differential Systems”, SIAM Journal on Control and Optimization , Vol.35 nº 1, pp.254-264, 1997 (pdf)

·         Trautmann, A L; Manganiello, F; Rosenthal, J. , “Orbit codes — A new concept in the area of network coding”.In: Greferath, M; Rosenthal, J. Information Theory Workshop (ITW), IEEE.Dublin, 1-4, 2010 (pdf)

 

CIDMA PUBLICATIONS 2011-2013

 

Journal papers

 

·  Miguel Teixeira, Teresa Mendonça, Paula Rocha , Rui Rabiço
Automatic control of the NMB level in general anaesthesia with a switching total system mass control strategy      
PAPERS CIDMA 2011-2013\A2013-JCMC2013.pdf
Journal of Clinical Monitoring and Computing, pp.-, 2013

 

·  I. Brás, A. C. Carapito, P. Rocha
Stability of Switched Systems with Partial State Reset    PAPERS CIDMA 2011-2013\A2013-IEEE-TAC2013.pdf
IEEE Transactions on Automatic Control, Vol.58 nº 4, pp.1008-1012, 2013

 

·  J.C. Aleixo, P. Rocha
Reconstructibility of time-invariant and periodic behavioral systems    PAPERS CIDMA 2011-2013\A2013-IJC2013.pdf
International Journal of Control, Vol.86, pp.84-94, 2013

 

·  I. Brás, A.C. Carapito, P. Rocha
A note on simultaneous diagonally stable matrices     PAPERS CIDMA 2011-2013\A2013-ELA2013.pdf
The Electronic Journal of Linear Algebra, Vol.26, pp.90-100, 2013

 

·  R. Pereira, P. Rocha, R. Simões
Characterizations of global reachability of 2D structured systems    
PAPERS CIDMA 2011-2013\A2013-MSSP2013.pdf
Multidimensional Systems and Signal Processing, Vol.24 nº 1, pp.51-64, 2013

 

·  Paolo Rapisarda, Paula Rocha
Lyapunov functions for time-relevant 2D systems, with application to quarter-plane stability     
PAPERS CIDMA 2011-2013\A2012-AUTOMATICA2012.pdf
Automatica, Vol.48 nº 9, pp.1998-2006, 2012

 

·  P. Rocha, J. Willems
Markovian properties for 2D behavioral systems described by PDE's: the scalar case       PAPERS CIDMA 2011-2013\A2011-MSSP2011.pdf
Multidimensional Systems and Signal Processing, Vol.22 nº 1-3, pp.45-53, 2011

 

·  D. Napp, P. Rapisarda, P. Rocha
Time-relevant staibility of 2D systems     
PAPERS CIDMA 2011-2013\A2011-AUTOMATICA2011.pdf
Automatica, Vol.47 nº 11, pp.2373-2382, 2011

 

·  D. Napp, P. Rapisarda, P. Rocha
Lyapunov stability of 2D finite-dimensional behaviours       PAPERS CIDMA 2011-2013\A2011-IJC2011.pdf
International Journal of Control, Vol.84 nº 4, pp.737-745, 2011

 

·  Diego Napp, P. Rocha
Stabilization of 2D behaviors by regular partial interconnection      PAPERS CIDMA 2011-2013\A2011-MCSS2011.pdf  
Mathematics of Control Signals and Systems, pp.-, 2011

 

 

Conference proceedings papers

 

·  J. Almeida, Hugo Alonso, P. Rocha
A 2D neural network approach for beam damage detection       PAPERS CIDMA 2011-2013\P2013-NDS2013.pdf
in Proceedings of the 8th International Workshop on Multidimensional (nD) Systems nDS 2013, pp.-, 2013

 

·  J. Almeida, H. Alonso, P. Rocha
A neural network approach to damage detection in Euler-Bernoulli beams subjected to external forces    PAPERS CIDMA 2011-2013\P2013-MED2013-2-VIGAS.pdf
in Proceedings of the 21st Mediterranean Conference on Control and Automation MED'13, pp.-, 2013

 

·  J. Almeida, Hugo Alonso, P. Rocha
Combining neural networks for online damage detection in Euler-Bernoulli beams       PAPERS CIDMA 2011-2013\P2013-IRF2013.pdf
in IRF2013 - 4th International Conference on Integrity, Reliability & Failure, pp.-, 2013

 

·  F. Nogueira, T. Mendonça, P. Rocha
Improvement ogf the BIS reference tracking performance in the presence of parameter uncertainties      PAPERS CIDMA 2011-2013\P2013-MED2013 -1-ANESTESIA.pdf
in Proceedings of the 21st Mediterranean Conference on Control and Automation MED'13, pp.-, 2013

 

·  F. N. Nogueira, T. Mendonça, P. Rocha
A simple PK/PD model identification procedure for controlller design on anesthesia  PAPERS CIDMA 2011-2013\P2013-CDC2013.pdf
in Proceedings of the 52nd IEEE Conference on Decision and Control CDC 2013, pp.-, 2013

 

·  P.M. Ferreira, T. Mendonça, P. Rocha
A wide spread of algorithms for automatic segmentation of dermoscopic images             PAPERS CIDMA 2011-2013\P2013-IbPRIA2013.pdf  
in Proceedings of the 6th Iberian Conference on Pattern Recognition and Image Analysis, pp.-, 2013

 

·  R. Pereira, P. Rocha
A remark on conditioned invariance in the behavioral approach    PAPERS CIDMA 2011-2013\P2013-ECC2013.pdf
in Proceedings of the 2013 European Control Conference ECC'13, pp.-, 2013

 

·  J. Almeida, H. Alonso, P. Rocha
Online Damage Identification in Euler-Bernoulli Beams using theExtended Kalman Filter.    PAPERS CIDMA 2011-2013\P2012-CONTROLO2012.pdf
in 10th Portuguese Conference on Automatic Control,, pp.-, 2012

 

·  J. Almeida, H. Alonso, P. Rocha
Comparing the Extended Kalman Filter with an Hopfield NeuralNetwork for on-line damage detection in Euler-Bernoulli beams    PAPERS CIDMA 2011-2013\P2012-IJSI2012.pdf
in Conference of the International Journal of Structural Integrity, pp.-, 2012

 

·  F. Nogueira, T. Mendonça, P. Rocha
Output reference tracking for MISO positive systems with applications in general anesthesia   PAPERS CIDMA 2011-2013\P2012-IFAC-BMS-2- Output reference tracking....pdf
in 8th IFAC Symposium on Biological and Medical Systems, pp.-, 2012

 

·  M. Teixeira, T. Mendonça, P. Rocha
Tracking the NMB level via a switching system mass control strategy     PAPERS CIDMA 2011-2013\P2012-IFAC-BMS-1-Tracking the NMB level....pdf
in 8th IFAC Symposium on Biological and Medical Systems, pp.-, 2012

 

·  P. Ferreira, T. Mendonça, P. Rocha, J. Rozeira
An annotation tool for dermoscopic image segmentation  PAPERS CIDMA 2011-2013\P2012-VIGTA2012.pdf
in Proceedings of the First International Workshop on Visual Interfaces for Ground Truth Collection in Computer Vision Applications, pp.-, 2012

 

·  Paolo Rapisarda, Paula Rocha
Positive realness and Lyaounov functions for switched behaviors     PAPERS CIDMA 2011-2013\P2012-MTNS2012.pdf
in Proceedings of the 20th International Symposium on the Mathematical Theory of Networks and Systems, pp.-, 2012

 

·  J. Almeida, M.M. Silva, T. Mendonça, P. Rocha
A compartmentalA compartmental model based control strategy for NeuroMuscular Blockade level        PAPERS CIDMA 2011-2013\P2011-IFAC-WC-2011.pdf 
in Preprints of the 18th IFAC World Congress, pp.599-604, 2011

 

·  P. Rocha, J.C. Willems, P. Rapisarda, D. Napp
On the Stability of Switched Behavioral Systems        PAPERS CIDMA 2011-2013\P2011-CDC2011-2-On the Stability of Switched Behavioral Systems.pdf
in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference - CDC-ECC11, pp.-, 2011

 

·  J.C. Aleixo, P. Rocha, J. Willems
State Space Representation of SISO Periodic Behaviors         PAPERS CIDMA 2011-2013\P2011-CDC2011-3-State Space Representation of SISO Periodic Behaviors.pdf
in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference - CDC-ECC11, pp.-, 2011

 

·  P.M. Ferreira, T. Mendonça, P. Rocha, J. Rozeira
A new interface for manual segmentation of dermoscopic images        PAPERS CIDMA 2011-2013\P2011-VIPIMAGE2011.pdf
in Proceedings of the III ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing : Vip Image, pp.-, 2011

 

·  J. Almeida, T. Mendonça, P. Rocha
An Improved Strategy for NeuroMuscular Blockade Control with Parameter Uncertainty       PAPERS CIDMA 2011-2013\P2011-CDC2011-1-An Improved Strategy for NeuroMuscular Blockade Control with Parameter Uncertainty.pdf
in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference - CDC-ECC11, pp.-, 2011

 

·  D. Napp, P. Rapisarda, P. Rocha
Time-relevant 2D behaviors       PAPERS CIDMA 2011-2013\P2011-NDS2011.pdf
in proceedings of the 7th International Workshop on Multidimensional (nD) Systems, pp.-, 2011