Publications

Export 26 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Title is L  [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   [Show ALL]
T
[ICTeSi93] Teruel, E, Silva M.  1993.  Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
[199] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
S
M
S
M
S
M
S
C
[1341] Colom, JM, Teruel E, Silva M.  1998.  Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
T
M
P
L
K
[1449] Kloetzer, M, Mahulea C.  2012.  LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
[1556] Kloetzer, M, Mahulea C.  2015.  LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
M
C