Home
Homepage of Mihály Petreczky
Position
CNRS researcher (CR), Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL), UMR CNRS 9189
Contact details
CRIStAL, Avenue Henri Poincaré, ESPRIT building , 59655 Villeneuve d’Ascq
E-mail : mihaly.petreczkyATcentralelille.fr, mpetrecATgmail.com
Tel: +33 (0)3 20 33 5450
Research interests
Control and Systems Theory: cyber-physical and networked control systems, LPV systems, hybrid systems, nonlinear systems, discrete-event systems, realization theory, systems identification, model reduction, network identification
Machine learning: learning time-series, generalization error, PAC and PAC-Bayesian error bounds for dynamical systems.
Systems Biology: modelling and analysis of gene and metabolic networks, dynamical models for brain connectivity based on fMRI data.
Publications
Journal Papers (36)
Mihaly Petreczky. Reachability of linear switched systems: differential geometric approach. Systems and Control Letters vol. 55, pp. 112--118, 2006.
Mihaly Petreczky. Realization theory for linear switched systems: a formal power series approach. Systems and Control Letters vol. 56, pp. 588-595, 2007.
Mihaly Petreczky. Realization theory for linear and bilinear switched systems: Formal power series approach - Part I: Realization theory of linear switched systems ESAIM Control, Optimization and Calculus of Variations, vol.17, pp. 410-445, 2011.
Mihaly Petreczky. Realization theory for linear and bilinear switched systems: Formal power series approach - Part II: Bilinear switched systems. ESAIM Control, Optimization and Calculus of Variations, vol. 17, pp. 446-471, 2011.
Mihaly Petreczky, Jan H. van Schuppen. Realization Theory For Linear Hybrid Systems. IEEE Transactions on Automatic Control, vol 55(10), pp. 2282 - 2297, 2010 (full paper).
Mihaly Petreczky, Jan H. van Schuppen . Generating series for bilinear hybrid systems. Systems & Control Letters vol. 59, pp. 218-225, 2010.
Mihaly Petreczky, Jan H. van Schuppen. Span-reachability and observability of bilinear hybrid systems (full paper). Automatica, vol. 46, pp. 501-509, 2010.
Mihaly Petreczky, Jan H. van Schuppen. Partial realization theory for linear switched systems: a formal power series approach. Automatica, vol 47, pp. 2177-2184, 2011 (full paper).
Mihaly Petreczky, Laurent Bako, Jan H. van Schuppen. Realization theory of discrete-time linear switched system. Automatica, Volume 49, Issue 11, Pages 3337-3344, 2013.
Jana Nemcova, Mihaly Petreczky, Jan H. van Schuppen.Realization of Nash systems. SIAM J. Control Optimization. 51-5, pp. 3386-3414, 2013.
Mihaly. Petreczky, Rafael. Wisniewski, John J. Leth.Theoretical Analysis of Balanced Truncation for Linear Switched Systems. Nonlinear Analysis: Hybrid Systems. Volume 10, Pages 4-20, 2013.
Rolf .J.M. Theunissen, Mihaly Petreczky, Ramon R.H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda. Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner IEEE Transaction on Automation Science and Engineering, Volume 11, number 1, pages 20 --32, 2014
Hassan Omran, Laurentiu Hetel, Mihaly Petreczky, Jean-Pierre Richard, Francoise Lamnabhi-Lagarrigue. Dissipativity-based approach for stability analysis of nonlinear sampled-data systems with input-affine control. Automatica, Volume 70, August 2016, Pages 266-274 2016.
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski, John Leth.Model Reduction by Moment Matching for Linear Switched Systems. IEEE Transactions on Automatic Control (full paper) , 61(11):34222-3427, 2016.
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski, John Leth. Reachability and Observability Reduction for Linear Switched Systems with Constrained Switching. Automatica, 74:162-170, 2016
Serhiy Zhuk, Mihaly Petreczky. Minimax Observers for Linear DAEs. IEEE Transactions on Automatic Control, 62(8): 4104-4108, 2017
Ziad Alkhoury, Mihaly Petreczky, Guillaume Mercère. Identifiability of Affine Linear Parameter-Varying Models. Automatica, 80:62-74, 2017
Mihaly Petreczky, Roland Tóth, Guillaume Mercère. Realization Theory for LPV State-Space Representations with Affine Dependence. IEEE Transactions Automatic Control, 62(9); 4666-4674, 2017.
Mihaly Petreczky, Serhiy Zhuk, Infinite horizon optimal control and stabilizability for linear descriptor systems. Automatica, 84:166-173, 2017.
Lucien Etienne, Laurentiu Hetel, Denis Efimov, Mihally Petreczky. Observer synthesis under time-varying sampling for Lipschitz nonlinear systems. Automatica, 85:433-440, 2017.
Mihaly Petreczky and René Vidal. Realization Theory of Generalized Bilinear Systems. IEEE Transactions on Automatic Control, 63(1):69-84, 2018 (full paper).
Ion Gosea, Mihaly Petreczky, and A. Antoulas. Data-driven model order reduction of linear switched systems. SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 40 (2):572–610, 2018.
Ion Victor Gosea, Mihaly Petreczky, Athanasios C. Antoulas, Christophe Fiter. Balanced truncation for linear switched systems. Advances in Computational Mathematics, Springer Verlag, 2018.
Pepijn Cox, Roland Tóth, Mihaly Petreczky. Towards Efficient MaximumLikelihood Estimation of LPV-SS Models. Automatica, 97:392–403, 2018.
Monika Jozsa, Mihaly Petreczky, Kanat M. Camlibel. Relationship between Granger non-causality and network graph of state-space representations, In IEEE Transactions Automatic Control,, 2019.
Monika Jozsa, Mihaly Petreczky, Kanat M. Camlibel. Causality and network graph in general bilinear state-space representations. IEEE Transactions on Automatic Control, 65(8), 2623–2630, 2020.
Mihaly Petreczky, Laurent Bako, Stéphane Lecoeuche, Koffi M. D. Motchon. Minimality and identifiability of discrete-time switched autoregressive exogenous systems. International Journal of Robust and Nonlinear Control, 2020.
Hossam Abbas, Roland Toth, Mihaly Petreczky, Nader Meskin, Javad Mohammadpour Velni, Patrick J.W. Koelewijn. LPV Modeling of Nonlinear Systems: A Multi-Path Feedback Linearization Approach. International Journal of Robust and Nonlinear Control, Wiley, 2021.
Sana Ben Abdallah Dhafer Saidane Mihaly Petreczky . Application of Robust Control for CSR Formalization and Stakeholders Interest. Comput Econ, 2022.
Mihály Petreczky, Laurent Bako, On the notion of persistence of excitation for linear switched systems. Nonlinear Analysis: Hybrid Systems, vol. 48, 2023.
Mihály Petreczky, Roland Tóth, Guillaume Mercère. LPV-ARX representations of LPV state-space models with affine dependence, Systems & Control Letters, vol. 173, 2023.
Martin Gonzalez, Thibault Defourneau, Hatem Hajri, Mihaly Petreczky. Realization Theory of Recurrent Neural ODEs using Polynomial System Embeddings, Systems & Control Letters, vol. 173, 2023
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafal Wisniewski, Mihaly Petreczky, Explicit construction of the minimum error variance estimator for stochastic LTI-ss systems, Automatica, vol 153, 2023.
Mihály Petreczky, Roland Tóth, Guillaume Mercère: Minimal Realizations of Input-Output Behaviors by LPV State-Space Representations With Affine Dependence. IEEE Control. Syst. Lett. 7: 2952-2957 (2023)
Zheming Wang, Raphaël M Jungers, Mihály Petreczky, Bo Chen, Li Yu. Learning stability of partially observed switched linear systems. Automatica, vol. 164, 2024.
Elie Rouphael, Manas Mejari, Mihaly Petreczky, Lotfi Belkoura. Towards stochastic realization theory for Generalized Linear Switched Systems with inputs: decomposition into stochastic and deterministic components and existence and uniqueness of innovation form. IEEE Control. Syst. Lett. to appear, 2024.
Thesis
Mihaly Petreczky. Realization theory of cyber-physical systems and its application to system identification and model reduction. Habilitation (HDR) thesis, University of Lille, 2023.pdf
Mihaly Petreczky. Realization Theory of Hybrid Systems. PhD thesis, Vrije Universiteit, Amsterdam, 2006. pdf
Mihaly Petreczky. Networks of rewriting systems. Master's thesis, Vrije Universiteit, Amsterdam, 2002. Technical Report IR-501, Vrije Universiteit, Amsterdam, 2002. pdf
Book chapters (6)
Mónika Józsa, Mihály Petreczky, M Kanat Camlibel. Relating the Network Graphs of State-Space Representations to Granger Causality Conditions. In Hybrid and Networked Dynamical Systems: Modeling, Analysis and Control, 61-90, Springer Nature Switzerland, 2024.
Mihaly Petreczky, Ion Victor Gosea. Model Reduction and Realization Theory of Linear Switched Systems. In: Beattie, C., Benner, P., Embree, M., Gugercin, S., Lefteriu, S. (eds) Realization and Model Reduction of Dynamical Systems. Springer, 978-3-030-95157-3, 2022.
Mert Bastug, Laurentiu Hetel, Petreczky Mihaly. Minimal- and Reduced-Order Models for Aperiodic Sampled-Data Systems. In Control Subject to Computational and Communication Constraints, Lecture Notes in Control and Information Sciences, vol. 475, S. Tarbouriech, A. Girard, L. Hetel (eds), Springer-Verlag, ISBN: 978-3-319-78448-9, 2018.
Mihaly Petreczky, Aneel Tanwani and Stephan Trenn. Observability of Switched Linear Systems. In Hybrid Dynamical Systems: Observation and control, Lecture Notes in Control and Information Sciences, vol. 457, M. Djemai, M. Defoort (eds), Springer Verlag, ISBN: 978-3-319-10795-0, 2015
Mihaly Petreczky Realization theory of linear hybrid systems. In Hybrid Dynamical Systems: Observation and control, Lecture Notes in Control and Information Sciences, vol. 457, M. Djemai, M. Defoort (eds), Springer Verlag, ISBN: 978-3-319-10795-0, 2015
Klaudia Horv\'ath,Lala Rajaoarisoa, Eric Duviella, Joaquim Blesa, Mih\'aly Petreczky, Karine Chuquet. Enhancing inland navigation by model predictive control of water level – the Cuinchy-Fontinettes case. In "Transport of Water versus Transport over Water - Exploring the dynamic interplay between transport and water", Carlos Ocampo-Martinez, Rudy Engenborn (eds), 2014
Conferences & workshops
Deividas Eringis, John leth, Rafal Wisniewski, Zheng-Hua Tan, Mihaly Petreczky. PAC-Bayesian Error Bound, via R’enyi Divergence, for a Class of Linear Time-Invariant State-Space Models. In ICML 2024.
Dániel Rácz, Mihály Petreczky, Bálint Daróczy. Length independent generalization bounds for deep SSM architectures with stability constraints. In ICML Workshop Next Generation of Sequence Modeling Architectures 2024.
Deividas Eringis, John leth, Rafal Wisniewski, Zheng-Hua Tan, Mihaly Petreczky. PAC-Bayes Generalisation Bounds for Dynamical Systems Including Stable RNNs. In AAAI 2024.
Deividas Eringis, John leth, Rafal Wisniewski, Zheng-Hua Tan, Mihaly Petreczky. PAC-Bayesian Error Bound, via R’enyi Divergence, for a Class of Linear Time-Invariant State-Space Models. In ICML 2023 Workshop PAC-Bayes Meets Interactive Learning, 2023.
. Deividas Eringis, John leth, Rafal Wisniewski, Zheng-Hua Tan, Mihaly Petreczky. PAC-Bayesian Bounds for Learning LTI-ss systems with Input from Empirical Loss. In ICML 2023 Workshop Frontiers4LCD, 2023.
Domokos M. Kelen, Mihály Petreczky, Péter Kersch, András A. Benczúr. Theoretical Evaluation of Asymmetric Shapley Values for Root-Cause Analysis. ICDM 2023.
Dániel Rácz, Mihaly Petreczky, Balint Daroczy, András Csertán. Optimization dependent generalization bound for ReLU networks based on sensitivity in the tangent bundle. NeurIPS 2023 Workshop OTP.
Eli Rouphael, Mihaly Petreczky, Lotfi Belkoura. On minimal LPV state-space representations in innovation form: an algebraic characterization. 61st IEEE Conference on Decision and Control (CDC), 2022.
Martin Gonzalez, Hatem Hajri, Loic Cantat, Mihaly Petreczky. Noisy Learning for Neural ODEs Acts as a Robustness Locus idening. Workshop on Principles of Distribution Shift (PODS-ICML), 2022.
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafal Wisniewski, Alireza Fakhrizadeh Esfahani, Mihaly Petreczky. PAC-Bayesian theory for stochastic LTI systems. 60th IEEE Conference on Decision and Control, 2021
Mihaly Petreczky, John Leth, Rasmus Pedersen and Rafael Wisniewski. Model reduction for linear switched systems with autonomous switching. 2021 American Control Conference (ACC), 2021.
Victor Gosea, Mihaly Petreczky, Athanasios C. Antoulas. Reduced-order modeling of LPV systems in the Loewner framework. 60th IEEE Conference on Decision and Control, 2021.
Ion Victor Gosea, Mihaly Petreczky, John Leth, Rafal Wisniewski, Athanasios C. Antoulas. Model Reduction of Linear Hybrid Systems. 59th IEEE IEEE Conference on Decision and Control, 2020.
Vera Shalaeva, Alireza Fakhrizadeh Esfahani, Pascal Germain, Mihaly Petreczky. Improved PAC-Bayesian Bounds for Linear Regression. Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020.
Manas Mejari, Mihaly Petreczky. Consistent and computationally efficient estimation for stochastic. LPV state-space models: realization based approach. 58th IEEE Conference on Decision and Control, 2019.
Manas Mejari, Mihaly Petreczky. Realization and identification algorithm for stochastic LPV state-space models with exogenous inputs. 3rd IFAC Workshop on Linear Parameter-Varying Systems, 2019.
Thibault Defourneau, Mihaly Petreczky. Realization theory of recurrent neural networks and rational systems. 58th IEEE Conference on Decision and Control, 2019.
Monika Jozsa, Mihaly Petreczky, Kanat Camlibel. Causality based graph structure of stochastic linear state-space representations. 56th IEEE Conference on Decision and Control, 2017.
Mert Bastug, Laurentiu Hetel, Mihaly Petreczky. Model Reduction for Aperiodically Sampled Data Systems. 20th IFAC World Congress, 2017.
Ziad Alkhoury, Mihaly Petreczky , Guillaume Mercère. Comparing Global Input-Output Behavior of Frozen-Equivalent LPV State-Space Models. 20th IFAC World Congress, 2017.
Monika Jozsa, Mihaly Petreczky, Kanat Camlibel. Relationship between Causality of Stochastic Processes and Zero Blocks of Their Joint Innovation Transfer Matrices 20th IFAC World Congress, 2017.
Lucien Etienne, Laurentiu Hetel, Denis Efimov, Mihaly Petreczky. Observer Analysis and Synthesis for Lipschitz Nonlinear Systems under Discrete Time-Varying Measurements . 20th IFAC World Congress, 2017.
Mert Bastug, Mihaly Petreczky, Laurentiu Hetel. Minimality of Aperiodic Sampled Data Systems. American Control Conference (ACC), 2017.
Ziad Alkhoury, Mihaly Petreczky, ,Guillaume Mercère. Structural properties of affine LPV to LFR transformation: minimality, input-output behavior and identifiability. 55th IEEE Conference on Decision and Control (CDC 2016), 2016
Mihaly Petreczky, Rafal Wisniewski, John Leth. Moment Matching for Bilinear Systems with Nice Selections. In 10th IFAC Symposium on Nonlinear Control Systems, 2016.
Mónika Józsa, Mihaly Petreczky, Kanat Camlibel. Towards Realization Theory of Interconnected Linear Stochastic Systems. Extended abstract. 22nd International Symposium on Mathematical Theory of Networks and Systems , Minnesota, Minneapolis, MN, USA during July 11-15, 2016.
Mert Baştuğ, Mihaly Petreczky, Roland Tóth, Rafael Wisniewski, John Leth and Denis Efimov, Moment matching based model reduction for LPV state-space models, 54th IEEE Conference on Decision and Control (CDC), Osaka, 2015, pp. 5334-5339
Pepijn B. Cox, Roland Tóth, Mihály Petreczky. Estimation of LPV-SS Models with Static Dependency using Correlation Analysis. 1st IFAC Workshop on Linear Parameter Varying Systems LPVS 2015 – Grenoble, France, 7–9 October 2015.
F. Arichi, M. Petreczky, M. Djemai, B. Cherki. Observability and Observer Design of Partially Observed Petri Nets. Analysis and Design of Hybrid Systems ADHS – Atlanta, GA, USA, Oct. 14-16, 2015.
Jana Némcová, Mihaly Petreczky, J. H. van Schuppen. An Algorithm for System Identification of a Discrete-Time Polynomial System without Inputs. 17th IFAC Symposium on System Identification SYSID 2015 – Beijing, China, 19–21 October 2015.
Blaise Guepie, Mihaly Petreczky, Stephane Lecoeuche. Eddy current signatures classification by using time series: a system modeling approach Annual Conference of the Prognostics and Health Management Society 2014.
Jana Nemcova, Ewa Pawluszewicz, Mihaly Petreczky. Unified framework for continuous and discrete time Nash realizations, Extended Abstract Symposium on Mathematical Theory of Networks and Systems 2014.
Klaudia Horvath, Eric Duviella, Lala Rajaoarisoa, Mih\'aly Petreczky, Karine Chuquet. Model predictive control of water levels in a navigation canal affected by resonance waves HIC 2014.
Klaudia Horvath,Mihaly Petreczky, Lala Rajaoarisoa, Eric Duviella,Karine Chuquet. MPC control of water level in a navigation canal - The Cuinchy-Fontinettes case study European Control Conference, 2014.
Hossam S. Abbas, Roland Toth, Mihaly Petreczky, Nader Meskin,Javad Mohammadpour. Embedding of Nonlinear Systems in a Linear Parameter-Varying Representation. IFAC World Congress 2014.
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski, John Leth. Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics 53rd IEEE Conference on Decision and Control, 2014.
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski, John Leth. Model reduction by moment matching for linear switched systems. American Control Conference, 2014
Sergiy Zhuk and Mihaly Petreczky. Infinite horizon control and observer design for linear DAEs. 52th IEEE Conference on Decision and Control (CDC), 2013.
Jana Nemcova and Mihaly Petreczky. Local Nash Realizations. 18th International Conference on Methods and Models in Automation and Robotics, Miedzyzdroje, Poland, 2013. Arxive version
Mihaly Petreczky, Guillaume Mercère. Affine LPV systems: realization theory, input-output equations and relationship with linear switched systems. 51th IEEE Conference on Decision and Control (CDC), 2012.
Mihaly Petreczky, Rafael Wisniewski, John Leth. Theoretical Analysis of Balanced Truncation for Linear Switched Systems. IFAC Symposium on Analysis and Design of Hybrid Systems, Eindhoven, June, 2012.
Jana Nemcova, Mihaly Petreczky, Jan H. van Schuppen. System reduction and System Identification of Rational Systems. IFAC Symposium on System Identification (SYSID) 2012. Preprint
Mihaly Petreczky, Laurent Bako, Stephane Lecoeuche. Minimality and identifiability of SARX systems. IFAC Symposium on System Identification (SYSID) 2012.
Mihaly Petreczky and Laurent Bako On the notion of persistence of excitation for linear switched systems. 50th IEEE Conference on Decision and Control (CDC), 2011.
Ronald Westra, Mihaly Petreczky, Ralf Peeters. Identification of Piecewise Linear Models of Complex Dynamical Systems. 18th IFAC World Congress 2011.
Mihaly Petreczky, Laurent Bako and Jan H. van Schuppen. Identifiability of discrete-time linear switched systems. Hybrid Systems: Computation and Control (HSCC) 2010.
Mihaly Petreczky and Jan H. van Schuppen. Observability reduction of piecewise-affined hybrid systems. 19th International Symposium on Mathematical Theory of Networks and Systems, 203--210, 2010.
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.
Esmé Bertens, Ronald Fabel, Mihaly Petreczky, Dirk A. van Beek, Jacobus E. Rooda. Supervisory control synthesis for exception handling in printers. In Proceedings Philips Conference on Applications of Control Technology. 2009.
Jana Nemcova, Mihaly Petreczky and Jan H. van Schuppen. Realization Theory of Nash systems 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 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 Systems. 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 European Control Conference, 2009
Ehsan Elhamifar, Mihaly Petreczky, Rene Vidal. Rank Tests for the Observability of Discrete-Time Jump Linear Systems with Inputs American Control Conference, 2009.
Mihaly Petreczky and Rene Vidal. Realization Theory of Discrete-Time Semi-Algebraic Hybrid Systems Hybrid Systems: Computation and Control (HSCC) 2008, LNCS 4981, 386-400.
Mihaly Petreczky and Rene Vidal. Metrics and Topology for Nonlinear and Hybrid Systems Hybrid Systems: Computation and Control (HSCC) 2007, LNCS 4416, 459-472.
Mihaly Petreczky and Rene Vidal. Realization Theory of Stochastic Jump-Markov Linear Systems. 46th IEEE Conference on Decision and Control, 2007.
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.
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 Computer Aided Control System Design (CACSD.2006), IEEE Press, New York, 2006.
Mihaly Petreczky. Hybrid Formal Power Series and Their Application to Realization Theory of Hybrid Systems 17th International Symposium on Mathematical Networks and Systems, 2006
Mihaly Petreczky. Realization Theory for Piecewise-Affine Discrete-Time Hybrid Systems. 17th International Symposium on Mathematical Networks and Systems, 2006
Mihaly Petreczky Realization theory for bilinear hybrid systems 11th IEEE International Conference on Methods and Models in Automation and Robotics (MMAR), 2005
Mihaly Petreczky Realization Theory for Bilinear Switched Systems: A Formal Power Series Approach 44th IEEE Conference on Decision and Control , 2005
Mihaly Petreczky Realization theory for linear switched systems. 16th International Symposium on Mathematical Theory of Networks and Systems, 2004, ISBN-90-5682-517-8
Technical Reports (27)
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafael Wisniewski, Mihaly Petreczky PAC-Bayesian bounds for learning LTI-ss systems with input from empirical loss. arXiv:2303.16816
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafael Wisniewski, Mihaly Petreczky PAC-Bayesian-Like Error Bound for a Class of Linear Time-Invariant Stochastic State-Space Models. arXiv:2212.14838
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafael Wisniewski, Mihaly Petreczky Explicit construction of the minimum error variance estimator for stochastic LTI state-space systems. arXiv:2109.02384
Deividas Eringis, John Leth, Zheng-Hua Tan, Rafal Wisniewski, Alireza Fakhrizadeh Esfahani, Mihaly Petreczky PAC-Bayesian theory for stochastic LTI systems . arXiv:2103.12866
Vera Shalaeva, Alireza Fakhrizadeh Esfahani, Pascal Germain, Mihaly Petreczky. Improved PAC-Bayesian Bounds for Linear Regression. arXiv:1912.03036
M. Jozsa, M. Petreczky, M. K. Camlibel. Relationship between Granger non-causality and graph structure of state-space representation. 2016. arXiv:1607.04374
Mihály Petreczky, Roland Tóth, Guillaume Mercère.. Realization Theory for LPV State-Space Representations with Affine Dependence. arXiv:1601.02777, 2016. https://arxiv.org/abs/1601.02777,
Mihaly Petreczky, Rafael Wisniewski, John Leth. Moment matching for bilinear systems with nice selections. 2016. arXiv:1605.04414
Mert Bastug, Mihaly Petreczky, Roland Toth, Rafael Wisniewski, John Leth, Denis Efimov. Moment Matching Based Model Reduction for LPV State-Space Models. 2016. https://arxiv.org/abs/1508.03446
Mihaly Petreczky and René Vidal. Realization Theory for Stochastic Jump-Markov Linear Systems. Arxive report, arXiv:1412.5020, 2014.
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski, John Leth Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics arXiv:1409.1444, 2014.
Mert Bastug, Mihaly Petreczky, Rafael Wisniewski, John Leth Model Reduction by Moment Matching for Linear Switched Systems arXiv:1403.1734, 2014.
Mihaly Petreczky, Sergiy Zhuk Infinite horizon optimal control and stabilizability of linear descriptor systems arXiv:1312.7547, 2013.
Sergiy Zhuk, Mihaly Petreczky Infinite horizon control and minimax observer design for linear DAEs arXiv:1309.1235, 2013.
Jana Nemcova and Mihaly Petreczky. Local Nash Realizations. Arxive report, arXiv:1305.0441, 2013.
Mihaly Petreczky, Rafael Wisniewski and John Leth. Balanced truncation for linear switched systems. Arxiv report, arXiv:1302.0221, 2013.
M.Petreczky, G. Mercère. Affine LPV systems: realization theory, input-output equations and relationship with linear switched systems. arXiv:1209.0345v2 , 2012.
Mihaly Petreczky, Laurent Bako, Stephane Lecoeuche. Minimality and identifiability of SARX systems. Techncal Report 2011. A shorter version appeared in SYSID 2012.
Ronald L. Westra, Mihaly 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.
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.
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
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
Mihaly Petreczky Realization Theory for Linear and Bilinear Hybrid Systems CWI research report MAS-R0502, ISSN 1386-3703, 2005
Mihaly Petreczky Realization Theory for Linear and Bilinear Switched Systems: Formal Power Series Approach CWI Technical Report MAS-E0517, ISSN 1386-3703, 2005
Mihaly Petreczky Realization theory for linear switched systems: a formal power series approach CWI research report MAS-R0403 ISSN 1386-3703, 2004
Mihaly Petreczky Realization theory for linear switched systems. CWI research report MAS-R0402 ISSN 1386-3703, 2004
Advising PhD students and postdocs:
PhD students
Mert Bastug (2013 - 2016), PhD granted by Aalborg University, co-advised together with Rafael Wisniewski and John Leth. Currently Embedded Control Systems Engineer at Siemens, Lille
Ziad Alkhoury (2014 – 2017) PhD granted by Université de Poitiers, co-advised together with Guillaume Mercère. Currently is R & D engineer at Autoliv, Cergy.
Mónika Józsa (2014 – 2018) PhD granted by University of Groningen, co-advised together with Kanat Camlibel. Currently Research Associate in Computational \& Theoretical Neuroscience, Department of Engineering, Cambridge University.
Postdocs:
April 2014 - December 2014, Hassan Omran, Ecoles des Mines de Douai, Regional project ’Estimation distribuée de systèmes dynamiques. Currently associate professor at University of Strasbourg.
January 2016 - January 2017, Lucien Etienne, CRIStAL, CNRS, Ecole Centrale de Lille, ’Estimation distribuée de systèmes dynamiques en réseaux’, co-advised jointly with Laurentiu Hetel. Currently associate professor at IMT-Lille-Douai.
October 2018 – May 2019, Thibault Defourneau, regional project CPER Data ‘Machine learning meets control’. Currently Data Scientist R&D Trinove, Lille.
October 2018 – May 2019, Manas Dilip Mejari, regional project CPER Data ‘Machine learning meets control’. Currenlty postdoc at Dalle Molle Institute for Artificial Intelligence, Lugano (IDSIA), Switzerland.
July 2019 – July 2020, Alireza Fahkrizadeh Esfahani, regional project CPER Data ‘Machine learning meets control’. Currently Data Scientist R&D Trinove, Lille.
Teaching
Courses taught
Calculus I (Maastricht University, Fall 2009, Fall 2010)
Calculus II (Maastricht University, Spring 2010)
Stochastic Models (Maastricht University, Fall 2010)
Systems identification (Maastricht University, Spring 2010, Spring 2011)
Capita Selecta Knowledge Engineering (Maastricht University, Spring 2010 and Spring 2011)
Topics in Computation and Control (Maastricht University, Spring 2011)
Advanced Programming (Java), exercise classes (Ecole des Mines de Douai, Fall 2011, 2012).
Programming and algorithms (Java) (Ecole des Mines de Douai, Fall 2012, 2013).
Automatic control, exercise classes (Ecole des Mines de Douai, Fall, 2012, 2013).
Matlab for engineers, (Ecole des Mines de Douai, Winter 2013, 2014).
Programming and algorithms (Java):online course (Ecole des Mines de Douai, Fall 2014, 2015).
Linear control: lectures and lab classes (Ecole des Mines de Douai, Spring 2014, lectures only Spring 2015).
Architecture of embedded systems: lab classes on microcontroller programming (Ecole des Mines de Douai, Fall 2014, 2015,2016,2017,2018,2019,2020).
Part of the course Outils pour la commande de systèmes complexes at Ecole Centrale de Lille for 2nd year students (equivalent to first year of master degree), exercise classes on extended Kalman filters. Spring 2016.
Part of the course Contrôle de Systèmes Dynamiques: course at Ecole Centrale de Lille for 2nd year students: stability theory, Linear Matrix Inequalities (LMI), LPV systems, robust control. Winter 2016, 2017,2018.
Part of the course Modélisation des systèmes physiques pour leur commande at IG2I (Institute de Génie Informatique et Industriel), 4th year students (equivalent to 1st year master). Covered basic linear state-space theory: linearization, stability, stabilization, pole assignment, observer design, regulator design. Spring 2016.
Microcontroller programming: lectures and lab classes, part of the module ‘Autonomous transportation systems’ (Ecole Centrale de Lille, Fall 2018).
Machine learning: lectures and lab classes, part of the module "Autonomous transportation systems" (Ecole Centrale de Lille, Fall 2019,2020).
Sampled data control and observers: lectures and lab classes, part of the module "Autonomous transportation systems" (Ecole Centrale de Lille, Fall 2019,2020).
Programming in C: lectures and lab classes, part of the module "Autonomous transportation systems" (Ecole Centrale de Lille, Fall 2019,2020).
Programming in Python: lectures and lab classes (SKEMA Bussiness School, Fall 2018, Spring 2020).
Programming in Python I: lectures and lab classes (SKEMA Bussiness School, Fall 2020)
Programming in Python II: lectures and lab classes (SKEMA Bussiness School, Spring 2021
Course ”Hybrid Dynamical Systems”, lab classes, (together with Laurentiu Hetel, Christophe Prieur, Alexander Kruszewski), PhD School of H2020 Project UCoCoS, 2019.
Course ”Switched Systems and Observations: theory and applications” (together with Jean-Pierre Barbot, Marc Jungers, Laurentiu Hetel), JD-JN MAC’19, 2019.
Course ”Geometric Linear Control Theory” (together with Rafael Wisniewski and John Leth). Doctoral School The Doctoral School of Engineering and Science (2014, 2020) /Electrical and Electronic Engineering, Aalborg University.
(Co-)supervision MSc. and Bsc. students
Esmee Bertens, Msc. thesis, Eindhoven University of Technology, 2009.
Lian Nouwen, Msc. thesis, Maastricht University, 2011
Ufuk Gundogmus, Msc. thesis, Maastricht University, 2011
Remco Bras, Bsc. thesis, Maastricht University, 2011.
Mert Bastug, MSc. thesis, Electronics Engineering, Istanbul Technical University, 2012.
Software
Software on optimal control and minimax observer for linear descriptor systems.
The accompanying papers are:
Mihaly Petreczky, Serhiy Zhuk, Solutions of differential-algebraic equations as outputs of LTI systems: application to LQ control problems. November 22, 2015. Arxive report
Serhiy Zhuk, Mihaly Petreczky. Minimax Observers for Linear DAEs. Submitted to IEEE Transactions on Automatic Control. Latest revision: December 9, 2014.
Sergiy Zhuk and Mihaly Petreczky Infinite horizon control and observer design for linear DAEs. 52th IEEE Conference on Decision and Control (CDC), 2013. Arxive version
Software on realization theory of stochastic bilinear systems: Python source code and documentation ZIP The accompanying papers:
Mihaly Petreczky and René Vidal. Realization Theory for Stochastic Jump-Markov Linear Systems. Arxive report, arXiv:1412.5020, 2014.
Mihaly Petreczky and René Vidal. Realization Theory of Generalized Bilinear Systems. Submitted to IEEE TAC, December 2014.
Software for NOLCOS 2016 submission. Maltlab code ZIP file