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 M. Dotoli, M.P. Fanti, A. Giua, C. Seatzu, "Modelling systems by hybrid Petri nets. An application to supply chains", In Petri Nets, Theory and Application, 2008. (UNICA)
J003 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)
J004 E. Best, P. Darondeau, "A Decomposition Theorem for Finite Persistent Transition Systems", Acta Informatica, 2009, DOI code: 10.1007/s00236-009-0095-6. (INR)
J005 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)
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)
J011 S. Bernardi, J. Merseguer, D. Petriu, "A Dependability Profile within MARTE", Journal of Software and Systems Modeling, 2009, DOIcode:10.1007/s10270-009-0128-1. (UNIZAR)
J012 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)
J013 H. Apaydin-Ozkan, J. Julvez, C. Mahulea, M. Silva, "Approaching Minimum Time Control of Timed Continuous Petri nets", Nonlinear Analysis: Hybrid Systems, 2010 (in press). DOI: 10.1016/j.nahs.2010.04.002. (UNIZAR)
J014 M. Kloetzer, C. Mahulea, C. Belta, M. Silva, "An Automated Framework for Formal Verification of Timed Continuous Petri Nets", IEEE Transactions on Industrial Informatics, vol. 6, no. 3, pp. 460 - 471, 2010. (UNIZAR)
J015 M.P. Cabasino, A. Giua, C. Seatzu, "Fault detection for discrete event systems using Petri nets", 46(9), 2010, pp. 1531-1539. (UNICA)
J016 J. Julvez, R. Boel, "A continuous Petri net approach for model predictive control of traffic systems", IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 2010. (UNIZAR, UGent)
J017 J. Jiroveanu , R. Boel, "The diagnosability of Petri nets models using minimal explanations", IEEE Trans. on Automatic Control, 55(7), 2010, pp. 1663-1668. (UGent)
J018 T. Brunsch, J. Raisch, "Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems", Journal of Engineering Applications of Artificial Intelligence, Special Issue on Dependable System Modelling and Analysis, Accepted for publications. (TUB)
J019 T. Brunsch, J. Raisch, L. Hardouin, "Modeling and Control of High-Throughput Screening Systems", Journal of Control Engineering Practice, Accepted for publication. (TUB)
J020 L. Recalde, S. Haddad, M. Silva, "Continuous Petri Nets: Expressive Power and Decidability Issues", International Journal of Foundations of Computer Science, 21(2): 235-256, 2010. (UNIZAR)
J021 M. Franceschelli, A. Giua, C. Seatzu, "A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks", IEEE Trans. on Automatic Control, 55(5), 2010, doi={10.1109/TAC.2010.2042360}, ISSN={0018-9286}. (UNICA)
J022 M. Franceschelli, A. Giua, C. Seatzu, "Distributed Averaging in Sensor Networks Based on Broadcast Gossip Algorithms", IEEE Sensor Journal, Special Issue on Cognitive Sensor Networks, in press. (UNICA)
J023 J. Julvez, C. Mahulea, C.R. Vázquez, "SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets Nonlinear Analysis: Hybrid Systems", (in press) (UNIZAR)
J024 M. Silva, J. Julvez, C. Mahulea, C.R. Vázquez, "On Fluidization of Discrete Event Models: Observation and Control of Continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications", 2011. (UNIZAR)
J025 C. Mahulea, C. Seatzu, M.P. Cabasino, and M. Silva, "Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets", IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 2011 (in press) (UNIZAR- UNICA)
J026 J. Komenda, T. Masopust, J.H. van Schuppen, "Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator", Systems and Control Letters 60 (2011), 492-502. (CWI, CAS)
J027 J. Komenda, T. Masopust, J.H. van Schuppen, "Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme", Automatica (accepted). (CWI, CAS)
J028 S. Bernardi, J. Campos, J. Merseguer, "Timing-failure risk assessment of UML design using Time Petri Net bound techniques", IEEE Transactions on Industrial Informatics. 7(1): 90-104. (UNIZAR)
J029 J. Merseguer, S. Bernardi, "Dependability analysis of DES based on MARTE and UML state machines models", Discrete Event Dynamic Systems, DOI: 10.1007/s10626-011-0111-1. (UNIZAR)
J030 S. Bernardi, J.Merseguer, D. Petriu, "Dependability modeling and analysis of software systems specified with UML", ACM Computing Survey. Accepted for publication. (UNIZAR)
J031 E. Cano, C.A. Rovetto, J.M. Colom, "An Algorithm to Compute the Minimal Siphons in S4PR Nets", Journal on Discrete Event Dynamic Systems. Conditionally accepted with minor changes. 2011 (UNIZAR)
J032 J.H. van Schuppen, O. Boutin, P.L. Kempker, J. Komenda, T. Masopust, A.C.M. Ran, "Control of distributed systems - Tutorial and overview", Europ. J. Control, vol. 17, 2011. (CAS - CWI)
J033 M.P. Cabasino, A. Giua, M. Pocci, C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems", Control Engineering Practice, Vol. 19, No. 9, pp. 989-1001, September 2011. (UNICA)
J034 L. Jezequel, E. Fabre, "On the construction of probabilistic diagnosers for modular systems", accepted by JDEDS, to appear in 2012. (INR)
J035 J.P. López-Grao, J.M. Colom, "The Resource Allocation Problem in Software Applications: A Petri Net Perspective", In S. Donatelli et alt., Editors, Transactions on Petri Nets and Other Models of Concurrency, Number 5, Lecture Notes in Computer Science, To appear, 2011. (UNIZAR)
J036 M.P. Cabasino, P. Darondeau, M.P. Fanti, C. Seatzu, "Model Identification and Synthesis of Discrete-Event Systems", Contemporary Issues in System Science and Engineering, IEEE/Wiley, 2011 (in press). (UNICA - INR)
J037 J.Komenda, T. Masopust, J.H. van Schuppen, "Supervisory control synthesis of discrete-event systems using a coordination scheme", Automatica, accepted for publication, 2011. (CWI, CAS)
J038 A. Gning, L. Mihaylova, R. Boel, "Interval Macroscopic Models for Traffic Networks", IEEE Trans. on Intelligent Transportation Systems, 12 (2), 523--536, 2011. (UGent).
J038 R. Su, J.H. van Schuppen, J.E. Rooda "The synthesis of time optimal supervisors by using heaps-of-pieces", IEEE Transactions on Automatic Control, 57 (1), 105--118, 2012. (CWI)
J040 M. Moradzadeh, R. Boel, "Voltage Coordination via Communication in Large-Scale Multi-Area Power Systems. Part I: Principal", Advanced Materials Research, 2012, (in press). (UGent).
R001 O. Boutin, J.H. van Schuppen, "On the control of the paint factory scale model", Report: series: Cluster Modeling, Analysis, and Computation, number: MAC-1103, issn: 1386-3703, 28 pages. (CWI)
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, 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)
C023 B.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 C. Seatzu, M.P. Cabasino, 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)
C031 M. Franceschelli, A. Gasparri, A. Giua and C. Seatzu, "Decentralized Laplacian eigenvalues estimation for networked multi-agent systems", In Proceedings of the 48th IEEE Conference on Decision and Control, Shangai, China, dec 2009. (UNICA)
C032 J. Komenda, "Coinduction in concurrent timed systems", In Proc. of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), mar 2010, Electronic Notes in Theoretical Computer Science, Volume 264, Issue 2, 2010, Pages 177-197. (CAS)
C033 R.J. Rodríguez, J. Merseguer and S. Bernardi, "Modelling and analysing resilience as a security issue within UML", In 2nd International Workshop on Software Engineering for Resilient Systems, London, apr 2010. (UNIZAR)
C034 D. Perez-Palacin, J. Merseguer, R. Mirandola, V. Grassi, "QoS-Based Model Driven Assessment of Adaptive Reactive Systems" Third International Conference on Software Testing, Verification, and Validation Workshops: 299-308, IEEE Computer Society 2010, apr 2010. (UNIZAR)
C035 E. Fabre, L. Jezequel, P. Haslum and S. Thiebaux, "Cost-Optimal Factored Planning: Promises and Pitfalls" Int. Conf. on Applications of Planning and Scheduling, (ICAPS’10), Toronto, may 2010. INR
C036 J. Komenda, S. Lahaye, and J.-L. Boimond, "Commande supervistee des automates (max,+)", Proceedings: Sixième Conférence Internationale Francophone d’Automatique (CIFA 2010), Nancy, France, jun 2010. (CAS)
C037 M. Heiner, C. Mahulea, M. Silva, "On the Importance of the Deadlock Trap Property for Monotonic Liveness," In Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010 , Braga, Portugal, jun 2010, pp. 39-54. (UNIZAR)
C038 J.P. López-Grao, J.M. Colom, "The Resource Allocation Problem in Software Applications: A Petri Net Perspective", In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’10). Braga, Portugal, jun 2010. pp. 7-21. ISBN 978-972-8692-55-1. (UNIZAR)
C039 C. Rovetto, E. Cano and J.M. Colom, "Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets", In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’10). Braga, Portugal, jun 2010. pp. 125-140. ISBN 978-972-8692-55-1. (UNIZAR)
C040 M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosis using Petri nets" ACC10: 2010 American Control Conference, jun 2010. (UNICA)
C041 H. Apaydin-Ozkan, J. Julvez, C. Mahulea, M. Silva, "A Control Method for Timed Distributed Continuous Petri nets", American Control Conference (ACC 2010), Baltimore, MD, USA, jun 2010, pp. 2593-2600. (UNIZAR)
C042 R. Rodríguez, J. Merseguer, "Integrating Fault-Tolerant Techniques into the Design of Critical Systems", 1st International Symposium on Architecting Critical Systems, jun 2010, LNCS 6150, pages 33-51. (UNIZAR)
C043 J. van Schuppen, R. Boel, "Control of the observation matrix for control purposes", MTNS2010, Budapest, jul 2010. (CWI,UGent)
C044 M.P. Cabasino, A. Giua, C. Seatzu, "Diagnosis using labeled Petri nets: faults may either be silent or undistinguishable events" CASE10: 2annual IEEE Conference on Automation Science and Engineering, aug 2010. (UNICA)
C045 J. Komenda, S. Lahaye, J.-L. Boimond, "Synchronous composition of interval weighted automata", In Proc. of the 10th International Workshop on Discrete Event Systems (WODES 2010) Berlin, aug 2010. (CAS)
C046 P. Špacek, J. Komenda, "Modeling of interval P-time Petri nets using dioid algebra", In Proc. of the 10th International Workshop on Discrete Event Systems (WODES 2010) Berlin, aug 2010. (CAS)
C047 J. Komenda, T. Masopust, J.H. van Schuppen, "Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems", In Proc. of the 10th International Workshop on Discrete Event Systems (WODES 2010) Berlin, 2010. (CAS,CWI)
C048 J. Komenda, T. Masopust, "Supremal Normal Sublanguages in Hierarchical Supervisory Control", In Proc. of the 10th International Workshop on Discrete Event Systems (WODES 2010) Berlin, aug 2010. (CAS)
C049 S. Haar, "What Topology tells us about Diagnosability in partial order semantics", In Proc. of the 10th International Workshop on Discrete Event Systems (WODES 2010) Berlin, aug 2010. (INR)
C050 M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "A new protocol for the decentralized diagnosis of labeled Petri nets", WODES'10: 10th Int. Workshop on Discrete Event Systems, aug 2010. (UNICA)
C051 J. Julvez, C. Mahulea, "SimHPN: a MATLAB toolbox for continuous Petri nets", In 10th International Workshop on Discrete Event Systems, Berlin, Germany, aug 2010, pp. 24-29. (UNIZAR)
C052 E. Cano, C. Rovetto and J.M. Colom, "An Algorithm to Compute the Minimal Siphons in S4PR Nets", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010, pp. 18-23. (UNIZAR)
C053 E. Fabre, L. Jezequel, "On the Construction of Probabilistic Diagnosers", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010. (INR)
C054 J. Raisch, T. Moor, N. Bajcinca, S. Geist and V. Nenchev, "Distributed State Estimation for Hybrid and Discrete Event Systems Using l-Complete Approximations", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010. (TUB)(
C055 B.M. Nejad, S.A. Attia, J. Raisch, "Max-Consensus in a Max-Plus Algebraic Setting: The Case of Switching Communication Topologies", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010. (TUB)
C056 T. Brunsch, L. Hardouin and J. Raisch, "Control of cyclically operated High-Throughput-Screening Systems", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010. (TUB)
C057 C.R. Vázquez, M. Silva, "Timing-dependent boundedness and liveness in continuous Petri nets", In 10th International Workshop on Discrete Event Systems (WODES'10), Berlin, Germany, aug 2010. (UNIZAR))
C058 J. Komenda, S. Lahaye, J.-L. Boimond, "Synchronous composition of interval weighted automata", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES'2010), Berlin, Germany, aug 2010. (CAS)
C059 J. Komenda, P. Špacek, "Modeling of interval P-time Petri nets using dioid algebra", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010. (CAS)
C060 S. Haar, "What Topology Tells us about Diagnosability in Partial Order Semantics", In Proceedings of the 10th International Workshop on Discrete Event Systems (WODES’2010), Berlin, Germany, aug 2010. (INR)
C061 R. Rodriguez, J. Julvez, "Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing", 7th European Performance Engineering Workshop (EPEW 2010), sep 2010. (UNIZAR)
C062 E. Cano, C. Rovetto and J.M. Colom, "On the Computation of the Minimal Siphons of S4PR Nets from a Generating Family of Siphons", In Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2010), Bilbao, Spain, sep 2010. paper MF-002879. (UNIZAR)
C063 C.R. Vázquez, H.Y. Sutarto, R.K. Boel, M. Silva, "Hybrid Petri net model of a traffic intersection in a urban network", 2010 IEEE Multi-conference on Systems and Control, Yokohama, Japan, sep 2010. (UGent)
C064 D. Goldin and J. Raisch, "Controllability of Second Order Leader Follower Systems", In Proceedings of the 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems (NECSYS'10), Annecy, France sep 2010. (TUB)
C065 E. Gómez-Martínez, J. Merseguer, "Performance modeling and analysis of the Universal Control Hub", 7th European Performance Engineering Workshop, sep 2010, LNCS 6342. (UNIZAR)
C066 M. Moradzadeh, R. Boel, "A Hybrid Framework for Coordinated Voltage Control of Power Systems", IPEC2010, Singapore, oct 2010. (UGent)
C067 M.P. Cabasino, C. Seatzu, C. Mahulea, M. Silva, "Fault diagnosis of manufacturing systems using continuous Petri nets" SMC10: 2010 IEEE Conference on Systems, Man and Cybernetics, oct 2010. (UNICA,UNIZAR)
C068 M. Zarnay, M. Silva, "Decolourisation of Stochastic Symmetric Nets with Bags", In Procs. of the 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC'10), Istanbul, Turkey, oct 2010. (UNIZAR)
C069 C. Rovetto, E. Cano and J.M. Colom, "Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets", In Proceedings of the 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC’10), Istanbul, Turkey, oct 2010. (UNIZAR)
C070 L. Wang, C. Mahulea, J. Julvez, M. Silva, "Minimum-time Control for Structurally Persistent Continuous Petri Nets", 49th IEEE Conference on Decision and Control (CDC 2010), dec 2010. (UNIZAR)
C071 H. Apaydin-Ozkan, C. Mahulea, J. Julvez, M. Silva, "An Iterative Control Method for Distributed Continuous Petri nets", 49th IEEE Conference on Decision and Control (CDC 2010), dec 2010. (UNIZAR)
C072 D. Goldin, S.A. Attia and J. Raisch, "Consensus for Double Integrator Dynamics with Heterogeneous Communication Topologies", In Proceedings of the 49th IEEE Conference on Decision and Control (CDC'10). Atlanta, USA, dec 2010. (TUB)
C073 M. Franceschelli, S. Martini, M. Egerstedt, A. Bicchi, A. Giua, "Observability and Controllability Verification in Multi-Agent Systems through Decentralized Laplacian Spectrum Estimation", In Proceedings of the 49th IEEE Conference on Decision and Control, Atlanta, GA, USA, dec 2010. (UNICA)
C074 D. Perez-Palacin, J. Merseguer, "Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models", International Conference on Performance Engineering 2011. Karlsruhe, Germany. ACM Press, mar 2011. (UNIZAR)
C075 M. Moradzadeh, L. Bhojwani, R. Boel, "Coordinated voltage control via distributed model predictive control", In Proc. of 23th IEEE Chinese Control and on Decision Conference (CCDC), may 2011. (UGent)
C076 P. Darondeau, L. Ricker, "Towards Distributed Control of Discrete Event Systems", Workshop on Applications of Region Theory (ART-2011), CEUR Workshop Proceedings, Vol.725 63--78, jun 2011. (INRIA- MAU)
C077 D. Perez-Palacin, R. Mirandola, J. Merseguer, "Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities", International Conference on Quality of Software Architectures 2011. Boulder, Colorado, USA. ACM Press, jun 2011. (UNIZAR)
C078 D. Perez-Palacin, R. Mirandola, J. Merseguer, "Software Architecture Adaptability Metrics for QoS-based Self-Adaptation", International Conference on Quality of Software Architectures 2011. Boulder, Colorado, USA. ACM Press, jun 2011. (UNIZAR)
C079 G. Jiraskova, T. Masopust, "State Complexity of Projected Languages", International Workshop on Descriptional Complexity of Formal Systems (DCFS 2011), Limburg/Giessen, Germany, Lecture Notes on Computer Science (LNCS) 6808, 198-211, jul 2011. (CAS)
C080 F. Serna, C. Catalán, A. Blesa, J.M. Rams, J.M. Colom, "Predictive Maintenance Manager design pattern for component based machine tools", In Proceedings of the IEEE 9th International Conference on Industrial Informatics (INDIN'2011). Caparica, Lisbon, Portugal, jul 2011. pp. 615-620. (UNIZAR)
C081 N.Marinica and R. Boel, "Particle Filter for platoon based models of urban traffic", In Proceedings of the 4th WSEAS International Conference on Urban Planning and Transportation, jul 2011. (UGent)
C082 J. Julvez, C. Mahulea, C.R. Vázquez, "Analysis and Simulation of Manufacturing Systems using SimHPN toolbox", 7th Annual IEEE Conference on Automation Science and Engineering (CASE2011), aug 2011. (UNIZAR)
C083 M.P. Cabasino, A. Giua, A. Solinas, C. Seatzu, K. Zedda, "Fault diagnosis of an ABS system using Petri nets", IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), aug 2011. (UNICA - AKH)
C084 M.P. Cabasino, A. Giua, C. Seatzu, A. Solinas, L. Contini, "A software platform for the integration of discrete event systems tools ", IEEE 7th Int. Conf. on Automation Science and Engineering, (Trieste, Italy), aug 2011. (UNICA - AKH)
C085 F. Serna, C. Catalán, A. Blesa, J.M. Rams, J.M. Colom, "Control software for a cutting glass machine tool built using the COSME platform. A case study", In Proceedings of the 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011). Trieste, Italy. aug 2011. pp. 501-506. (UNIZAR)
C086 C. Catalán, F. Serna, A. Blesa, J.M. Rams, J.M. Colom, "Communication types for manufacturing systems. A proposal to Distributed Control System based on IEC 61499", In Proceedings of the 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011), Trieste, Italy, aug 2011. pp. 767-772. (UNIZAR)
C087 A. Giua, C. Seatzu, Y. Wardi, "IPA for Continuous Petri nets", 18th IFAC World Congress, (Milano, Italy), aug 2011. (UNICA)
C088 M.P. Cabasino, A. Giua, A. Paoli, C. Seatzu, "Decentralized diagnosability analysis of discrete event systems using Petri nets", 18th IFAC World Congress, (Milano, Italy), aug 2011. (UNICA)
C089 E. Fraca, J. Julvez, C. Mahulea, M. Silva, "On reachability and deadlock-freeness of Hybrid Adaptive Petri nets", 18th world congress of the International Federation of Automatic Control (IFAC2011), aug 2011. (UNIZAR)
C090 X. Wang, C. Mahulea, J. Julvez, M. Silva, "On State Estimation of Timed Petri Nets", 18th world congress of the International Federation of Automatic Control (IFAC2011), aug 2011. (UNIZAR)
C091 L. Wang, C. Mahulea, J. Julvez, M. Silva, "Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs", 18th world congress of the International Federation of Automatic Control (IFAC2011), aug 2011. (UNIZAR)
C092 J. Komenda, T. Masopust, J.H. van Schuppen, "Coordinated Control of Discrete Event Systems with nonprefix-closed languages", 18th world congress of the International Federation of Automatic Control (IFAC2011),6982-6987, aug 2011. (CAS - CWI)
C093 L. Jezequel, E. Fabre, "Networks of automata with read arcs: a tool for distributed planning", 18th world congress of the International Federation of Automatic Control (IFAC2011),6982-6987, aug 2011.(INR)
C094 J. Komenda, S. Lahaye, P. \v{Sp}a\v{c}ek, "Application of product dioids for dead token detection in interval P-time event graphs", Proceedings of the IFAC World Congress 2011, Milano, aug 2011. (CAS)
C095 J. H. van Schuppen, "Control of distributed stochastic systems - Introduction, problems, and approaches", Proceedings of the IFAC World Congress 2011, Milano, aug 2011. (CWI)
C096 C.R. Vasquez, J. H. van Schuppen, M. Silva, "A modular-coordinated control for continuous Petri nets", Proceedings of the IFAC World Congress 2011, Milano, aug 2011. (CWI, UNIZAR)
C097 S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, V. Vittorini, "Model-driven availability evaluation of railway control systems", 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11), Napoli, Italy, sep 2011. (UNIZAR)
C098 C. Catalán, F. Serna, A. Blesa, J.M. Rams, J.M. Colom, "COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems", In 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011). Toulouse, France, sep 2011. (UNIZAR)
C099 J.P. López-Grao, J.M. Colom, "On the deadlock analysis of multithreaded control software", In 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011). Toulouse, France, sep 2011. (UNIZAR)
C100 M. Kloetzer, C. Mahulea, O. Pastravanu, "A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots", 16th IEEE International Conference on Emerging Technologies and Factory Automation, Toulouse, France, sep 2011. (UNIZAR)
C101 M. Silva, C. Mahulea, "Fluidization and Fluid views of Discrete Event Systems", 15th Int. Conf. on System Theory, Control and Computing, Sinaia, Romania, oct 2011. (UNIZAR)
C102 E. Badouel, A. Bouillard, P. Darondeau, J. Komenda, "Residuation of Tropical Series: Rationality Issues", CDC-ECC'11, IEEE Control System Society, dec 2011. (INRIA - CAS)
C103 O. Boutin, J. Komenda, T. Masopust, K. Schmidt, J.H. van Schuppen, "Hierarchical Control with Partial Observations: Sufficient Conditions", CDC-ECC 2011, dec 2011. (CAS - CWI)
C104 G. Kalyon, T. Le Gall, H. Marchand, T. Massart, "Synthesis of Communicating Controllers for Distributed Systems", CDC-ECC'11, dec 2011. (INR)
C105 M.P. Cabasino, A. Giua, C. Mahulea, C. Seatzu, "On Decentralized Observability of Discrete Event Systems", 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, Florida, USA, dec 2011. (UNIZAR - UNICA)
C106 R. Su, J.H. van Schuppen, J.E. Rooda, "Maximally permissive distributed supervisory control of nondeterministic discrete-event systems", 50th IEEE Int. Conf. on Decision and Control, (Orlando, Florida, USA), dec 2011. (CWI)
C107 N.Marinica, R. Boel, "Particle filter state estimator for large urban networks", In Proceedings of the 2011 Australian Control Conference (AuCC), dec 2011. (UGent)
Web: http://www.disc-project.eu