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
  Submitted to ESAIM Control, Optimization and Caluculus of Variations 2005
  PDF file of the CWI research report version
  

• Mihaly Petreczky, Jan H. van Schuppen
  Realization Theory For Linear Hybrid Systems
  Submitted to IEEE Transactions on Automatic Control, 2007. Accepted in 2009.

• Mihaly Petreczky, Jan H. van Schuppen
  Generating series for bilinear hybrid systems.
  Submitted to System and Control Letters, 2008. Conditionally accepted in 2009.

• Mihaly Petreczky, Jan H. van Schuppen
  Span-reachability and observability of bilinear hybrid systems.
  Submitted to Automatica, 2008. Conditionally accepted in 2009.

• 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 and Rene Vidal
    Realization Theory of Discrete-Time Semi-Algebraic Hybrid Systems
    In Hybrid Systems: Computation and Control (HSCC) 2008, LNCS 4981, 386-400.
    Draft PDF

  • 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

• Referreed conference proceedings

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

  • 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
    To appear in Proceedings of 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09)

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

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

  • 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.

  • 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, to appear.

  • 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

  • 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.

  • 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.

  • 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 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