Πλοήγηση ανά Συγγραφέα "Li, L."
-
Article
Designs of bisimilar Petri net controllers with fault tolerance capabilities
Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2008)This paper proposes an approach for providing tolerance against faults that may compromise the functionality of a given controller modeled by a Petri net. The method is based on embedding the given Petri net controller ...
-
Conference Object
Fault detection and identification in Petri net controllers
Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2004)This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a ...
-
Article
Least-cost planning sequence estimation in labelled Petri nets
Li, L.; Hadjicostis, Christoforos N. (2011)This paper develops a recursive algorithm for estimating the least-cost planning sequence in a manufacturing system that is modelled by a labelled Petri net. We consider a setting where we are given a sequence of labels ...
-
Article
Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions
Li, L.; Hadjicostis, Christoforos N. (2011)This paper proposes an approach for estimating the least-cost transition firing sequence(s) that matches (match) the observation of a sequence of labels produced by transition activity in a given labeled Petri net. Each ...
-
Article
Maximum likelihood failure diagnosis in finite state machines under unreliable observations
Athanasopoulou, E.; Li, L.; Hadjicostis, Christoforos N. (2010)In this paper, we develop a probabilistic methodology for failure diagnosis in finite state machines based on a sequence of unreliable observations. Given prior knowledge of the input probability distribution but without ...
-
Conference Object
Minimum initial marking estimation in labeled petri nets
Li, L.; Hadjicostis, Christoforos N. (2009)This paper develops an algorithm for estimating the minimum initial marking based on the observation of a sequence of labels that is produced by underlying transition activity in a given labeled Petri net. We assume that ...
-
Article
Minimum initial marking estimation in labeled petri nets
Li, L.; Hadjicostis, Christoforos N. (2013)This technical note develops algorithms for estimating the minimum initial marking(s) following the observation of a sequence of labels produced by underlying transition activity in a known labeled Petri net (PN). Since ...
-
Article
Mutant polycystin-2 induces proliferation in primary rat tubular epithelial cells in a STAT-1/p21-independent fashion accompanied instead by alterations in expression of p57KIP2 and Cdk2
Felekkis, Kyriacos N.; Koupepidou, P.; Kastanos, E.; Witzgall, R.; Bai, C. -X; Li, L.; Tsiokas, L.; Gretz, N.; Constantinou-Deltas, Constantinos D. (2008)Background. Autosomal Dominant Polycystic Kidney Disease (ADPKD) is characterized by the formation of multiple fluid-filled cysts that destroy the kidney architecture resulting in end-stage renal failure. Mutations in genes ...
-
Conference Object
A realistic evaluation and comparison of indoor location technologies: Experiences and lessons learned
Lymberopoulos, D.; Liu, J.; Yang, X.; Choudhury, R. R.; Handziski, V.; Sen, S.; Lemic, F.; Busch, J.; Jiang, Z.; Zou, H.; Jiang, H.; Ashok, A.; Xu, C.; Ghose, A.; Ahmed, N.; Zhang, C.; Xiao, Z.; Wen, H.; Schmid, T.; Lee, D.; Klepal, M.; Beder, C.; Nikodem, M.; Szymczak, S.; Hoffmann, P.; Selavo, L.; Giustiniano, D.; Lenders, V.; Rea, M.; Marcaletti, A.; Laoudias, Christos; Zeinalipour-Yazdi, Constantinos D.; Tsai, Y. -K; Abrudan, T. E.; Markham, A.; Bestmann, A.; Reimann, R.; Li, L.; Zhao, C.; Adler, S.; Schmitt, S.; Lazik, P.; Rajagopal, N.; Rowe, A.; Dentamaro, V.; Colucci, D.; Ambrosini, P.; Ferraz, A. S.; Martins, L. Q. L.; Bello, P.; Alvino, A.; Sark, V.; Pirkl, G.; Hevesi, P. (Association for Computing Machinery, Inc, 2015)We present the results, experiences and lessons learned from comparing a diverse set of technical approaches to indoor localization during the 2014 Microsoft Indoor Localization Competition. 22 different solutions to indoor ...
-
Conference Object
Reconstruction of transition firing sequences based on asynchronous observations of place token changes
Hadjicostis, Christoforos N.; Li, L. (2007)This paper proposes a methodology for reconstructing the possible transition firing sequences in a given Petri net based on asynchronous observations of token changes at different places of the Petri net. The observed ...