Homepage of Mihály Petreczky

• My CV
• Publications
• Contacts

Contacts

Mihaly Petreczky
Centrum voor Wiskunde en Informatica
Kruislaan 413
1090GB Amsterdam
The Netherlands
E-mail: M.PetreczkyATcwi.nl

Publications

Journal Papers

• Mihaly Petreczky
  Reachability of linear switched systems: differential geometric approach
  Systems and Control Letters 2006,55:112--118.
  Draft version
  

• Mihaly Petreczky
  Realization theory for linear switched systems: a formal power series approach
  Systems and Control Letters 2007, 56(9-10):588-595.
  PDF file of the CWI research report version
  

• Mihaly Petreczky
  Realization theory for linear and bilinear switched systems: Formal power series approach - Part I: Realization theory of linear switched systems
  To appear in ESAIM Control, Optimization and Caluculus of Variations DOI 10.1051/cocv/2010014, 2010. Preprint Copyright by EDP Sciences The original publication is available at www.esaim-cocv.org
  

• Mihaly Petreczky
  Realization theory for linear and bilinear switched systems: Formal power series approach - Part II: Bilinear switched systems.
  To appear in ESAIM Control, Optimization and Caluculus of Variations DOI 10.1051/cocv/2010015, 2010. Preprint Copyright by EDP Sciences The original publication is available at www.esaim-cocv.org
  

• Mihaly Petreczky, Jan H. van Schuppen
  Realization Theory For Linear Hybrid Systems
  IEEE Transactions on Automatic Control, vol 55(10), pp. 2282 - 2297, 2010
  Preprint

• Mihaly Petreczky, Jan H. van Schuppen
  Generating series for bilinear hybrid systems.
  Systems & Control Letters 59 (2010), pp. 218-225
  DOI 10.1016/j.sysconle.2010.01.007
  Preprint

• Mihaly Petreczky, Jan H. van Schuppen
  Span-reachability and observability of bilinear hybrid systems.
  Automatica, Volume 46, Issue 3, March 2010, Pages 501-509
  Preprint

• Mihaly Petreczky, Jan H. van Schuppen.
  Partial realization theory for linear switched systems: a formal power series approach.
  Accepted for publication in Automatica, 2011. Extended technical report version

• Thesis

  • Mihaly Petreczky
    Realization Theory of Hybrid Systems
    PhD thesis, Amsterdam, 2006
    PDF file

  • Mihaly Petreczky
    Errata to "Realization Theory of Hybrid Systems"
    PDF file

  • Mihaly Petreczky
    Networks of rewriting systems.
    Master's thesis, Vrije Universiteit, Amsterdam, 2002.
    Technical Report IR-501, Vrije Universiteit, Amsterdam, 2002.
    PDF file

• Book chapters

  • Mihaly Petreczky, Laurent Bako and Jan H. van Schuppen.
    Identifiability of discrete-time linear switched systems.
    In Hybrid Systems: Computation and Control (HSCC) 2010.
    Preprint

  • Mihaly Petreczky and Rene Vidal
    Realization Theory of Discrete-Time Semi-Algebraic Hybrid Systems
    In Hybrid Systems: Computation and Control (HSCC) 2008, LNCS 4981, 386-400.
    Preprint

  • Mihaly Petreczky and Rene Vidal
    Metrics and Topology for Nonlinear and Hybrid Systems
    In Hybrid Systems: Computation and Control (HSCC) 2007, LNCS 4416, 459-472.
    Draft PDF

  • Mihaly Petreczky, Jean-Baptiste Pomet
    Realization Theory of Nonlinear Hybrid Systems
    In Taming Heterogenity and Complexity of Embedded Control ( CTS-HYCON Workshop on Hybrid and Nonlinear Control Systems, 2006), ISTE 2006.
    Draft PDF

• Conference proceedings

  • Ronald Westra, Mihaly Petreczky, Ralf Peeters.
    Identification of Piecewise Linear Models of Complex Dynamical Systems.
    Accepted to IFAC World Congress 2011. Technical report version

  • Mihaly Petreczky and Jan H. van Schuppen.
    Observability reduction of piecewise-affined hybrid systems.
    Proceedings 19th International Symposium on Mathematical Theory of Networks and Systems, 203--210, 2010.
    Preprint

  • Mihaly Petreczky and Ralf Peeters.
    Spaces of nonlinear and hybrid systems representable by recognizable formal power series
    Proceedings 19th International Symposium on Mathematical Theory of Networks and Systems, pages 1051--1058, 2010.
    Preprint

  • E. Bertens, R. Fabel, M. Petreczky, D.A. van Beek, J.E. Rooda.
    Supervisory control synthesis for exception handling in printers.
    In Proceedings Philips Conference on Applications of Control Technology. 2009. Preprint

  • Jana Nemcova, Mihaly Petreczky and Jan H. van Schuppen
    Realization Theory of Nash systems
    In Proceedings 48th IEEE Conference on Decision and Control (CDC), 2009.
    Preprint

  • Mihaly Petreczky, Peter Collins, Dirk A. Van Beek, Jan H. van Schuppen, Jacobus Rooda
    Sampled-data control of hybrid systems with discrete inputs and outputs
    In Proceedings of 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09)
    Preprint

  • Mihaly Petreczky and Jan H. van Schuppen
    Realization Theory of Discrete-Time Linear Hybrid System
    In Proceedings 15th IFAC Symposium on System Identification, 2009
    Preprint

  • Mihaly Petreczky, Rolf Theunissen, Rong Su, Dirk A. Van Beek, Jan H. van Schuppen, Jacobus E. Rooda
    Control of input/output discrete-event systems
    In Proceedings of European Control Conference, 2009
    Preprint

  • Ehsan Elhamifar, Mihaly Petreczky, Rene Vidal
    Rank Tests for the Observability of Discrete-Time Jump Linear Systems with Inputs
    In Proceedings of American Control Conference, 2009. Preprint

  • Mihaly Petreczky and Rene Vidal
    Realization Theory of Stochastic Jump-Markov Linear Systems.
    In Proceedings 46th IEEE Conference on Decision and Control, 2007.
    Draft PDF
    

  • Pieter Collins, Luc Habets, Anton Kuut, Margreet Nool, Mihaly Petreczky, and Jan H. van Schuppen,
    ConPAHS - A software package for control of piecewise-affine hybrid system
    Proc. Computer Aided Control System Design (CACSD.2006), IEEE Press, New York, 2006. Preprint

  • Mihaly Petreczky
    Hybrid Formal Power Series and Their Application to Realization Theory of Hybrid Systems
    In Proceedings 17th International Symposium on Mathematical Networks and Systems, 2006
    Draft PDF file
    

  • Mihaly Petreczky
    Realization Theory for Piecewise-Affine Discrete-Time Hybrid Systems
    In Proceedings 17th International Symposium on Mathematical Networks and Systems, 2006
    Draft PDF file
    

  • Mihaly Petreczky
    Realization theory for bilinear hybrid systems
    In Proceedings 11th IEEE International Conference on Methods and Models in Automation and Robotics, 2005
    PDF file
    

  • Mihaly Petreczky
    Realization Theory for Bilinear Switched Systems: A Formal Power Series Approach
    In Proceedings of 44th IEEE Conference on Decision and Control , 2005
    PDF file
    

  • Mihaly Petreczky
    Realization theory for linear switched systems.
    In Proceedings Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, ISBN-90-5682-517-8
    PDF file
    

• Technical Reports

  • Ronald L. Westra, Mihally Petreczky and Ralf L.M. Peeters.
    Identification of Piecewise Linear Models of Complex Dynamical Systems.
    Preprint Arxiv report, arXiv:1103.4756, 2011

  • Mihaly Petreczky and Laurent Bako.
    On the notion of persistence of excitation for linear switched systems.
    Preprint Arxiv report, arXiv:1103.1343, 2011

  • Mihaly Petreczky, Laurent Bako, Jan H. van Schuppen.
    Realization theory of discrete-time linear switched system.
    Preprint Arxiv report, arXiv:1103.1343, 2011

  • Mihaly Petreczky and Jan H. van Schuppen.
    Partial-realization theory of linear switched systems: a formal power series approach.
    Preprint arXiv:1010.5160v1, 2010

  • R. Su, J.H. van Schuppen, J.E. Rooda, M. Petreczky.
    Computing supremal minimum-weight controllable and normal sublanguages.
    Technical Report 2009-03, Eindhoven University of Technology, Systems Engneering Group, ISSN 1872-1567, 2009. Preprint

  • M. Petreczky, P. Collins, D.A. van Beek, J.H. van Schuppen, J.E. Rooda,
    A control problem for hybrid systems with discrete inputs and outputs.
    Technical Report 2008-013, Eindhoven University of Technology, Systems Engneering Group, ISSN 1872-1567, 2009. Preprint

  • M. Petreczky, R.J.M. Theunissen, R. Su, D.A. van Beek, J.H. van Schuppen, J.E. Rooda,
    Control of input/output discrete-event systems
    Technical Report 2008-012, Eindhoven University of Technology, Systems Engneering Group, ISSN 1872-1567, 2009. Preprint

  • M. Petreczky, D.A. van Beek, J.E. Rooda
    Supervisor for toner error handling: a case study in supervisory control of Oce printers
    Technical Report 2008-011, Eindhoven University of Technology, Systems Engneering Group, ISSN 1872-1567, 2008. Preprint

  • Mihaly Petreczky, Jan H. van Schuppen
    Realization theory for linear hybrid systems, part I: Existence of realization.
    CWI research report MAS-R0802, ISSN 1386-3703, 2008
    PDF file
    

  • Mihaly Petreczky, Jan H. van Schuppen
    Realization theory for linear hybrid systems, part II: Reachability, observability and minimality
    CWI research report MAS-R0803, ISSN 1386-3703, 2008
    PDF file
    
  • Mihaly Petreczky
    Realization Theory for Linear and Bilinear Hybrid Systems
    CWI research report MAS-R0502, ISSN 1386-3703, 2005
    PDF file
    
  • Mihaly Petreczky
    Realization Theory for Linear and Bilinear Switched Systems: Formal Power Series Approach
    CWI Technical Report MAS-E0517, ISSN 1386-3703, 2005
    PDF file
    

  • Mihaly Petreczky
    Realization theory for linear switched systems: a formal power series approach
    CWI research report MAS-R0403 ISSN 1386-3703, 2004
    PDF file
    

  • Mihaly Petreczky
    Realization theory for linear switched systems.
    CWI research report MAS-R0402 ISSN 1386-3703, 2004
    PDF file
    

Teaching