Publications

Export 27 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is W  [Clear All Filters]
Book Chapter
[1503] Silva, M, Fraca E, Wang L.  2014.  Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
Conference Paper
[1555] Wang, X, Kloetzer M, Mahulea C, Silva M.  2015.  Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
[1435] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
[1448] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
[1549] Wang, X, Mahulea C, Silva M.  2014.  Deadlock Prevention Policy for S3PR - Application to Robot Planning. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1388] Wang, L, Mahulea C, Julvez J, Silva M.  2011.  Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1389] Wang, L, Mahulea C, Julvez J, Silva M.  2011.  Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1501] Wang, X, Mahulea C, Silva M.  2013.  Decentralized Diagnosis Based on Fault Diagnosis Graph. 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2013).
[1465] Wang, X, Mahulea C, Silva M.  2013.  Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
[1281] Wang, L, Mahulea C, Julvez J, Silva M.  2010.  Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1464] Wang, L, Mahulea C, Silva M.  2013.  Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[1547] Wang, X, Mahulea C, Silva M.  2014.  Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
[IPJuJiReSi04a] Julvez, J, Jimenez E, Recalde L, Silva M.  2004.  On Observability in Timed Continuous Petri Net Systems. :60-69.
0 icon
qest04.pdf
[RP-91-26] Silva, M, Watanabe T.  1991.  On periodic schedules for deterministically timed Petri nets systems. :210-215.
[1442] Wang, X, Mahulea C, Julvez J, Silva M.  2011.  On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[WPPSIM-WOSP-05] Woodside, M, Petriu D, Petriu D, Shen H, Israr T, Merseguer J.  2005.  Performance by Unified Model Analysis (PUMA). :1-12.
0 icon
WPPSIM-WOSP-05.pdf
[AMWZ96] Ambos-Spies, K, Mayordomo E, Wang Y, Zheng X.  1996.  Resource bounded balanced genericity stochasticity and weak randomness. 1046:63-74.
0 icon
96_ASMWZ_STACS.ps
Conference Proceedings
[1504] Wang, L, Mahulea C, Silva M.  2013.  Distributed Model Predictive Control of Timed Continuous Petri nets. 52nd IEEE Conference on Decision and Control (CDC'2013).
Journal Article
[1539] Wang, X, Mahulea C, Silva M.  2015.  Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
[1434] Wang, L, Mahulea C, Julvez J, Silva M.  2012.  Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1453] Wang, L, Mahulea C, Julvez J, Silva M.  2013.  Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
[1502] Wang, L, Mahulea C, Julvez J, Silva M.  2014.  ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
[RP-93-03] Silva, M, Watanabe T.  1993.  Qualitative analysis of periodic schedules for deterministically timed Petri net systems. IEICE Transactions.
[1484] Woodside, M, Petriu DC, Merseguer J, Petriu DB, Alhaj M.  2014.  Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
application/pdf icon
PUMA-R1-2013.pdf
Report
[1428] WANG, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf