J001 G. Jiroveanu, R. Boel, B. Bordbar, "On-Line Monitoring of Large Petri Net Models Under Partial Observation", Discrete Event Dynamic Systems: Theory and Applications, 2008, http://dx.doi.org/10.1007/s10626-007-0036-x. (UGent)
J002 J. Julvez, J. Cortadella, M. Kishinevsky, "On the performance evaluation of multi-guarded marked graphs with single-server semantics", Discrete Event Dynamic Systems: Theory and Applications, 2009, DOI code:10.1007/s10626-009-0079-2. (UNIZAR)
J003 E. Best, P. Darondeau, "A Decomposition Theorem for Finite Persistent Transition Systems", Acta Informatica, 2009, DOI code: 10.1007/s00236-009-0095-6. (INR)
J004 S. A. Attia, V. Azhmyakov, J. Raisch, "On an Optimization Problem for a Class of Impulsive Hybrid Systems", Discrete Event Dynamic Systems: Theory and Applications, 2009, DOI code: 10.1007/s10626-009-0068-5. (TUB)
J005 C. Mahulea, L. Recalde, M. Silva, "Observability of continuous Petri nets with infinite server semantics", Nonlinear Analysis: Hybrid Systems, 2009, DOI code: 10.1016/j.nahs.2009.06.014. (UNIZAR)
J006 J. Komenda, S. Lahaye, J.-L. Boimond, "Supervisory control of (max; +) automata: A behavioral approach ", Discrete Event Dynamic Systems: Theory and Applications, 2009, DOI code:10.1007/s10626-009-0083-6. (CAS)
J007 C. Mahulea, L. Recalde, M. Silva, "Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets ", Discrete Event Dynamic Systems: Theory and Applications, Vol.19, n.2, pp. 189-212, 2009. (UNIZAR)
J008 S. A. Engell, S. Lohmann, T. Moor, C. de Prada, J. Raisch, D. Sarabia, C. Sonntag, "Industrial Controls ", The HYCON Handbook of Hybrid Systems Control: Theory-Tools-Applications, 2009. (TUB)
J009 J. Lunze, A. Bicchi, T. Moor, L. Palopoli, B. Picasso, J. Raisch, A. Schild, "Abstract models of hybrid systems", The HYCON Handbook of Hybrid Systems Control: Theory-Tools-Applications, 2009. (TUB)
J010 E. Badouel, P. Darondeau, L. Petrucci, "Modular Synthesis of Petri Nets from Regular Languages", Perspectives of Concurrency Theory (a Festschrift for Thiagarajan), Universities Press, 2009. (INR)
C001 A. Giua, C. Seatzu, and F. Sessego, "Simulation and analysis of hybrid Petri nets using the MATLAB tool Hypens", In Systems, Man and Cybernetics, 2008: IEEE International Conference on, pages 1922-1928, oct 2008. (UNICA)
C002 C.R. Vázquez, L. Recalde, M. Silva, "Stochastic Continuous State Approximation of Markovian Petri Net Systems", In 47th IEEE Conference on Decision and Control (CDC), pages 901–906, Cancun, Mexico, dec 2008. (UNIZAR)
C003 M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, M. Silva, "Formal analysis of timed continuous Petri nets", In CDC 2008: 47th IEEE Conference on Decision and Control, pages 245–250, dec 2008. (UNIZAR)
C004 N. Marinica, R. Boel, "Distributed control of urban traffic networks using hybrid models", In Proc. of the 28th Benelux Meeting on Systems and Control, mar 2009. (UGent)
C005 C. Mahulea, M.P. Cabasino, L. Recalde, C. Seatzu, M. Silva, “Observer Design for Untimed Continuous Petri Nets” , In Proc. 2009 American Control Conference, jun 2009. (UNICA, UNIZAR)
C006 T. Brunsch, J. Raisch, "Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems", In Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems, Bari, Italy, jun 2009. (TUB)
C007 M.P. Cabasino, A. Giua, C. Seatzu, “Diagnosis of discrete event systems using labeled Petri nets”, In Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems, jun 2009. (UNICA)
C008 J. Komenda, S. Lahaye, J.-L. Boimond, "Controllability of (max; +) formal power series", In Proceedings of 2nd IFAC Conference on Dependable Control of Discrete Systems (DCDS 2009), Bari, jun 2009. (CAS)
C009 J. Flochova, R. Boel, “On fault diagnosis of random free-choice nets”, In Proc. 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, jun 2009. (UGent)
C010 M. Franceschelli and A. Gasparri. "Decentralized centroid estimation for multi-agent systems in absence of any global reference frame", In Proc. 2009 American Control Conference, jun 2009. (UNICA)
C011 C. Mahulea, C. Seatzu, M.P. Cabasino, M. Silva, “Fault diagnoser design for untimed continuous Petri nets”, 3rd IEEE Multi-conference on Systems and Control, jul 2009. (UNICA, UNIZAR)
C012 D. Gromov, S. Li, J. Raisch, "A hierarchical approach to optimal control of a hybrid chromatographic batch process", In Proc. International Symposium on Advanced Control of Chemical Processes, Istanbul, Turkey, jul 2009. (TUB)
C013 M. Petreczky, R. Theunissen, R. Su, D.A. van Beek, J. H. van Schuppen, J.E. Rooda, "Control of input/output discrete-event systems. In Proc. European Control Conference (ECC.2009), aug 2009. (CWI)
C014 P.L. Kempker, A.C.M. Ran, J.H. van Schuppen, "Construction of a coordinator for coordinated linear systems", In Proc. European Control Conference (ECC.2009), Budapest, aug 2009. (CWI)
C015 J. Komenda, S, Lahaye, J.-L. Boimond, "Control of (max; +) automata: A single step approach", In Proceedings of the European Control Conference (ECC.2009), Budapest, aug 2009. (CAS)
C016 C.R. Vázquez, M. Silva, "Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example", In 5th IEEE Conference on Automation Science and Engineering (IEEE CASE). (Session In Memoriam of prof. Laura Recalde: Advances in Petri Net theory.), Bangalore, India, aug 2009. (UNIZAR)
C017 C.R. Vázquez, M. Silva, "Hybrid Approximations of Markovian Petri Nets", In 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS09), Zaragoza, Spain, sep 2009. (UNIZAR)
C018 A. Giua, C. Seatzu, and Y. Wardi. "Application of IPA to fluid Petri nets". In Proc. 3rd IFAC Conference on Analysis and Design of Hybrid Systems, sep 2009. (UNICA)
C019 H. Apaydin-Ozkan, J. Júlvez, C. Mahulea, M. Silva, "An efficient Heuristics for Minimum Time Control of Continuous Petri nets", In 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, sep 2009. (UNIZAR)
C020 T. Brunsch, J. Raisch, "Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems with Multi-Capacity Resources", In Proc. 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain, sep 2009. (TUB)
C021 D. Goldin, S. A. Attia, "Unit disk graph based modelling of a network of mobile agents", In Proc. 1st IFAC Workshop on Estimation and Control of Networked Systems, Venice, Italy, sep 2009. (TUB)
C022 L. Mihaylova, A. Gning, V. Doychinov, R. Boel, "Parallelised gaussian mixture filtering for vehicular traffic flow estimation", In Proceedings of INFORMATIK2009, Luebeck, Germany, oct, 2009. (UGent)
C023B.M. Nejad, S.A. Attia, J. Raisch, "Max-consensus in a max-plus algebraic setting: The case of fixed communication topologies", In Proc. XXII International Symposium on Information, Communication and Automation Technologies, Sarajevo, Bosnia and Herzegovina, oct 2009. (TUB)
C024 J. Komenda, S. Lahaye, J.-L. Boimond, "Le produit synchrone des automates (max,+)". Accepted for publication. To appear in Proceedings of Modélisation des Systèmes Réactifs (MSR’09), nov 2009, Nantes, France. Also in special issue of JESA (Journal Européen des Systèmes Automatisés). (CAS)
C025 M. B. Yazdi, S.A. Attia, J. Raisch, "Modal Exact Linearization of a Class of Second-Order Switched Nonlinear Systems", In Proc. 48th IEEE Conference on Decision and Control, Shanghai, China, dec 2009. (TUB)
C026 M.P.Cabasino, A.Giua, C. Seatzu. "Diagnosability of bounded Petri nets", In Proc. 48th IEEE Conf. on Decision and Control, dec 2009. (UNICA)
C027 M.P. Cabasino, A. Giua, S. Lafortune, C. Seatzu. “Diagnosability analysis of unbounded Petri nets", In Proc. 48th IEEE Conf. on Decision and Control, dec 2009. (UNICA)
C028 M.P. Cabasino, C. Seatzu, C. Mahulea, M. Silva. “New results for fault detection of untimed continuous Petri nets", In Proc. 48th IEEE Conf. on Decision and Control, dec 2009. (UNICA, UNIZAR)
C029 C.R. Vázquez, M. Silva, "Piecewise-Linear Constrained Control for Timed Continuous Petri Nets", In 48th IEEE Conference on Decision and Control (CDC), Shanghai, China, dec 2009. (UNIZAR)
C030 E. Fabre, L. Jezequel, "Distributed Optimal Planning: an Approach by Weighted Automata Calculus", In Proc. IEEE Conference on Decision and Control, Shanghai, China, dec 2009. (INR)
Web: http://www.disc-project.eu