Curriculum Vitae Mihály Petreczky Personal data Name: Visa Status: Address: Mihály Petreczky J-1 (research scholar) Center For Imaging Science Johns Hopkins University 324B Clark Hall, 3400 North Charles Street, Baltimore, 21218 MD, USA Phone: +1 410 516 6736 E-mail mihaly@cis.jhu.edu Positions 2006 August 7 present Postdoc at Center for Imaging Science, Johns Hopkins University Scientific supervisor: Prof. Dr. René Vidal 2005 October 2006 March CTS Fellow at INRIA Sophia-Antipolis, Scientific supervisor: Dr. Jean-Baptiste Pomet 2002 August 1 2006 July 31 Phd student at CWI National Research Institute for Mathematics and Computer Science in the Netherlands, Scientific supervisor: Prof. Dr. Jan H. van Schuppen Education 1
2006 June 22 PhD Mathematics Vrije Universiteit, Amsterdam, The Netherlands Title of the PhD thesis: Realization theory of hybrid systems 2002 August 14 Masters (MSc.) Computer Science Vrije Universiteit, Amsterdam, The Netherlands Title of the MSc. thesis: Networks of Rewriting Systems Research Interests Mathematical Control and Systems Theory hybrid and embedded systems, networked control systems, nonlinear systems, stochastic systems, discrete-event systems, realization theory, systems identification, control design. Theoretical Computer Science biomolecular computing, graph rewriting, automata and formal language theory, formal methods and verification. Systems Biology modelling, analysis and identification of metabolic and gene regulatory networks. Computer Vision and Image Processing recognition and classification of dynamic textures Publications Most of the manuscripts listed below are available online at http://www.cis.jhu.edu/~mihaly Thesises Realization Theory of Hybrid Systems. PhD Thesis, ISBN 61965365, Amsterdam, 2006. Networks of rewriting systems. Technical Report IR-501, Vrije Universiteit van Amsterdam, 2002. MSc. Thesis. Journal Papers Mihaly Petreczky. Reachability of linear switched systems: Differential geometric approach. Systems and Control Letters, vol. 55, 112-118, 2006.
Mihaly Petreczky. Realization theory of linear and bilinear switched systems: A formal power series approach. Submitted to ESAIM Control,Optimization and Calculus of Variations. 2005. Mihaly Petreczky. Realization theory for linear switched systems: Formal power series approach. Submitted to Systems and Control Letters. 2004 Book Chapters Mihaly Petreczky and Jean-Baptiste Pomet. Realization Theory of Nonlinear Hybrid Systems. Taming Heterogenity and Complexity of Embedded Control (CTS-HYCON Workshop on Embedded and Hybrid Control) International Scientific & Technical Encyclopedia (ISTE), London, 2006. Papers in Refereed Conference Proceedings Mihaly Petreczky and René Vidal. Metrics and Topology For Nonlinear and Hybrid Systems. Accepted to Hybrid Systems: Computation and Control (HSCC 2007), 2006. Hybrid Formal Power Series and Their Application to Realization Theory of Hybrid Systems. Proceedings of the 17th International Symposium on Mathematical Networks and Systems, 2006. Realization Theory for Piecewise-Affine Discrete-Time Hybrid Systems. Proceedings of the 17th International Symposium on Mathematical Networks and Systems, 2006. Pieter Collins, Luc Habets, Anton Kuut, Margreet Nool, Mihaly Petreczky and Jan H. van Schuppen. A software package for control of piecewise-affine hybrid systems. Proceedings Computer Aided Control System Design (CACSD 2006), 2006. Realization theory for bilinear hybrid systems. Proceedings 11th IEEE Conference on Methods and Models in Automation and Robotics, 2005. Realization theory for bilinear switched systems.
Proceedings of 44th IEEE Conference on Decision and Control, 2005. Realization theory for linear switched systems. Proceedings 16th International Symposium on Mathematical Theory of Networks and Systems, 2004. Technical Reports Realization theory of linear and bilinear switched systems: A formal power series approach. Technical Report MAS-R0403, CWI, 2005. Realization theory for linear and bilinear hybrid systems. Technical Report MAS-R0502, 2005. Realization theory for linear switched systems: Formal power series approach. Technical Report MAS-R0403, CWI, 2004. Participation in scientific meetings 17th International Symposium on Mathematical Theory of Networks of Systems, 2006 Kyoto, Japan. Hybrid Formal Power Series and Their Application To Realization Theory of Hybrid Systems. Realization Theory For Discrete-Time Piecewise-Affine Hybrid Systems. CTS-HYCON Workshop on Hybrid and Nonlinear Control Systems, 2006, Paris France. Realization Theory For Nonlinear Hybrid Systems. 25th Benelux Meeting on Systems and Control, Heeze The Netherlands, 2006. Realization Theory for Hybrid Systems: Algorithmic Aspects. 44th IEEE Conference on Decision and Control, Sevilla Spain, 2005. Realization Theory For Bilinear Switched Systems. 11th IEEE International Conference on Methods and Models in Automation and Robotics Miezdzyzdroje Poland, 2005. Realization Theory For Bilinear Hybrid Systems. Sixth SIAM Conference on Control and Its Applications, New Orleans, USA, 2005. Realization Theory For Linear Hybrid Systems.
24th Benelux Meeting on Systems and Control, Houffalize, Belgium, 2005. Realization Theory of Linear Hybrid Systems. Dagstuhl Seminar On Synchronous Programming SYNCHRON 04, Schloss-Dagstuhl, Germany, 2004. Realization Theory For Linear Switched Systems. ERNSI Workshop on System Identification, Dobogoko, Hungary, 2004. Realization Theory for Linear Switched Systems: Formal Power Series Approach. Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Leuven, Belgium, 2004. Realization Theory for Linear Switched Systems. 23rd Benelux Meeting on Systems and Control, Helvoirt, The Netherlands, 2004. Realization Theory for Linear Switched Systems. Work Visits and Seminar Talks 2006 September 14 17 Old Dominion University, Norfolk, Virginia, USA. Host: Steven W. Gray. Input/Output Behavior and Realization Theory Of Hybrid Systems. 2006 June 16 Vrije Universiteit, Amsterdam, The Netherlands. Realization Theory and Formal Power Series 2006 June 21 Vrije Universiteit, Amsterdam, The Netherlands Realization Theory For Hybrid Systems 2006 April 25 Katholieke Universiteit Leuven, Belgium. Hosts: Jan Willems, Ivan Markovsky. Realization Theory For Hybrid Systems: Algorithmic Aspects. 2005 October 14 Delft University of Technology, The Netherlands. Hosts: Paul van den Hof, Roland Toth. Realization Theory For Hybrid Systems.
2004 December 7 Twente University of Technology, The Netherlands. Hosts: Giordano Pola, Arjan van der Schaft. Realization Theory of Linear Hybrid Systems. 2004 April 29 Twente University of Technology, The Netherlands. Hosts: Agung Julius, Arjan van der Schaft. Realization Theory For Linear Switched Systems. Organization of Seminar Series includes collecting and organizing and presenting the material of the lectures. 2004 spring, at CWI Algebraic aspects of system theory 2006 spring, at CWI Realization Theory of Nonlinear Systems 2005 fall, Reading Group at Center for Imaging Science, Johns Hopkins University Linear Stochastic Realization Theory and Systems Identification Participation in CWI Seminars on Systems and Control The algebra and the geometry of control of finite-dimensional linear systems BDD algorithms for discrete-event systems Polynomial systems - Realization and control Polytopes and control of affine systems on polytopes (included presenting lectures) Control and topological index theory (included presenting lectures) Modeling and system theory of biochemical reaction networks - enzyme kinetics. (included presenting lectures) Fields of knowledge
Mathematical Systems and Control Theory Realization Theory, Systems Identification, Hybrid Systems, Nonlinear Control Systems, Stochastic Systems Theory, Linear Control Systems, Discrete Event Systems General Mathematics Theoretical Computer Science Programming languages Operating Systems Calculus, Measure Theory, Probability Theory, Algebra, Category Theory, Numerical Methods, Logic, Combinatorics, Statistics, Functional Analysis, Differential Geometry, Hopf algebras Theory of Formal Languages and Automata, Computability, Theory of Graph Transformations, Program Correctnes Verification, Basics of Process Algebra and Petri Nets C, C++, Python, Matlab, Java, Ada, Perl, Tcl, Unix shells, Modula-2 Delphi, Pascal, REXX, IBM PC assembly language, IBM mainframe assembly language Sun Unix, Linux, AIX, VM/ESA, OS/390, DOS Languages Hungarian English Dutch Russian Ukrainian native fluent good fluent fluent Non-academic Work Experience 1998 2000 IBM mainframe system operator and system administrator ( part-time job ) Graduate level courses followed at Dutch Institute in Systems and Control (DISC) Mathematical Models of Systems (linear systems theory and behavioral approach) Systems and Control of Nonlinear Systems (differential geometric approach)
Modeling and Control of Hybrid Systems Design Methods for Control Systems DISC Summer School Modeling and Control of Hybrid Systems Masters level courses on control and systems theory at Vrije Universiteit van Amsterdam Stochastic Control in Continuous Time Mathematical Control and Systems Theory Control and Systems Theory of Positive Systems Stochastic Systems in Discrete-Time Selected courses in mathematics and computer science: masters and undergraduate level Seminar Formal Methods and Software Verification, Lie- and Hopf Algebra, Linear Algebra Methods in Combinatorics, Applied Logic ( typed lambda calculus, automated theorem proving, natural deduction ), Formal Language Theory I, Formal Language Theory II, Theory of Computability I, II, Mathematical Logic I,II, Parallel Processes I,II ( Petri nets, process algebra), Artificial intelligence I,II, Numerical Analysis I,II, Operational Research I,II, Probability Theory, Statistics, Analysis V,VI,VII,VIII ( elements of functional analysis, integral and measure theory ), Theory of Programming I,II ( program correctness verification, algebraic data types )