Publications

Export 323 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Conference Paper
[1254] Seatzu, C, Cabasino MP, Mahulea C, Silva M.  2009.  New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[BalMay95] Balcázar, JL, Mayordomo E.  1995.  A note on genericity and bi immunity. :193-196.
0 icon
95_BM_Structures.ps
[IPMARESI08] Mahulea, C, Recalde L, Silva M.  2008.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[1250] Mahulea, C, Seatzu C, Cabasino MP, Recalde L, Silva M.  2009.  Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[IPVaRaReSi08] Vázquez, CR, Ramirez A, Recalde L, Silva M.  2008.  On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
0 icon
Controllability draft.pdf
[1446] Cabasino, MP, Giua A, Mahulea C, Seatzu C.  2011.  On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[1540] Clavel, D, Mahulea C, Silva M.  2016.  On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
[IPMaReSi06] Mahulea, C, Recalde L, Silva M.  2006.  On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[IPMaGiReSeSi06] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2006.  On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[1442] Wang, X, Mahulea C, Julvez J, Silva M.  2011.  On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[PJC-JJCC99] Pérez-Jiménez, CJ, Campos J.  1999.  On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
[RP-87-07] Silva, M, Murata T.  1987.  On synchonic distance and B-fair relations for Petri nets. :270-278.
[1284] Heiner, M, Mahulea C, Silva M.  2010.  On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
[LGMC-02b] López-Grao, JP, Merseguer J, Campos J.  2002.  On the Use of Formal Models in Software Performance Evaluation. :367-387.
0 icon
02_LGMC_JJCC.pdf
[1447] Kloetzer, M, Mahulea C.  2012.  Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.
[PIPRM-97] Pastor, O, Insfrán E, Pelechano V, Romero J, Merseguer J.  1997.  OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. 1250:145-158.
0 icon
PIPRM-97.pdf
[1541] Clavel, D, Mahulea C, Silva M, Albareda J.  2016.  Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
application/pdf icon
2016_M2H.pdf
[IPGiMaReSeSi06a] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of continuous Petri nets via model predictive control. :235–241.
[IPGiMaReSeSi06b] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[IPMaReSi05] Mahulea, C, Recalde L, Silva M.  2005.  Optimal Observability for Continuous Petri Nets. :CDROM.
[1554] Kloetzer, M, Mahulea C, Gonzalez R.  2015.  Optimizing Cell Decomposition Path Planning for Mobile Robots Using Different Metrics. ICSTCC'2015: 19th International Conference on System Theory, Control and Computing.
[RP-82-06] Martínez, J, Silva M.  1982.  A package for computer design of concurrent logic control systems. :221-226.
[RP-86-10] Martínez, J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. :457-462.
[1345] Colom, JM, Martínez J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[1401] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2007.  Parametric Architecture for Function Calculation Improvement. Architecture of Computing Systems 2007.