Publications

Export 356 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
2008
[IPMARESI08] Mahulea, C, Recalde L, Silva M.  2008.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[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
[ARMAGIRESESI08] Mahulea, C, Giua A, Recalde L, Seatzu C, Silva M.  2008.  Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
2009
[1305] Mayordomo, E, Sorbi A, Cooper SB.  2009.  Special Issue: Computation and Logic in the Real World. Theory of Computing Systems. 45(4)
[1370] Signes-Pont, MT, García-Chamizo JM, de-Miguel-Casado G, Mora-Mora H.  2009.  Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
[1393] Signes-Pont, MT, García-Chamizo JM, Mora-Mora H, de-Miguel-Casado G.  2009.  Table-based Method for Reconfigurable Function Evaluation. 23rd IEEE International Symposium on Parallel and Distributed Processing (IPDPS) 2009.
[1234] Silva, M.  2009.  Continuous and Hybrid Petri Nets: The GISED perspective.
application/pdf icon
MISi09.pdf
[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.
[1257] Mahulea, C, Recalde L, Silva M.  2009.  Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
[1252] Seatzu, C, Mahulea C, Cabasino MP, Silva M.  2009.  Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1225] Vázquez, CR, Silva M.  2009.  Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
application/pdf icon
Performance_Control_of_Markovian_Petri_nets.pdf
[ETFA09] Grau, A, Campos J, Oliver G.  2009.  Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation.
application/pdf icon
09_ETFA.pdf
[1226] Vázquez, CR, Silva M.  2009.  Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
application/pdf icon
Draft_Hybrid_Approximations_of_Markovian_Petri_Nets.pdf
[1253] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2009.  An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
[1259] [Anonymous].  2009.  Proc. of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems.
[1227] Vázquez, CR, Silva M.  2009.  Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
application/pdf icon
Draft_Piecewise-Linear_Constrained_Control_for_TCPN.pdf
[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.
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
application/pdf icon
paper3.pdf
2010
[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[1288] Recalde, L, Haddad S, Silva M.  2010.  Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
[1258] Mahulea, C, Recalde L, Silva M.  2010.  Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[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.
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[1267] Vázquez, CR, Silva M.  2010.  Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
application/pdf icon
version_sometida_inicialmente_WODES.pdf