Publications

Export 82 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Mahulea, Cristian  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
[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.
[1442] Wang, X, Mahulea C, Julvez J, Silva M.  2011.  On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[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.
[1296] Fraca, E, Julvez J, Mahulea C, Silva M.  2011.  On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[IPMaReSi06] Mahulea, C, Recalde L, Silva M.  2006.  On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[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
[1450] Silva, M, Julvez J, Vazquez CR, Mahulea C.  2011.  On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
[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.
[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.
[IPMARESI08] Mahulea, C, Recalde L, Silva M.  2008.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[1258] Mahulea, C, Recalde L, Silva M.  2010.  Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
N
M
[1557] Kloetzer, M, Mahulea C.  2016.  Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications. WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems.
[1432] Mahulea, C, García-Soriano J-M, Colom JM.  2012.  Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).
[1515] Bernardi, S, Albareda J, Colom JM, Mahulea C.  2014.  A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
[1547] Wang, X, Mahulea C, Silva M.  2014.  Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
[1464] Wang, L, Mahulea C, Silva M.  2013.  Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[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.
[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.
[1553] Gonzalez, R, Mahulea C, Kloetzer M.  2015.  A Matlab-Based Interactive Simulator for Mobile Robotics. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
L
[1556] Kloetzer, M, Mahulea C.  2015.  LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
[1449] Kloetzer, M, Mahulea C.  2012.  LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
I
[1280] Apaydin-Ozkan, H, Mahulea C, Julvez J, Silva M.  2010.  An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1491] Vazquez, CR, Mahulea C, Julvez J, Silva M.  2013.  Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.