2006 |
8 | EE | Jeffrey Ashley,
Lawrence E. Holloway:
Exploiting causal structure in the refined diagnosis of condition systems.
ETFA 2006: 364-371 |
7 | EE | Lawrence E. Holloway,
Yu Gong,
Jeffrey Ashley:
State observability and condition observability for a class of interacting discrete event systems.
Mathematics and Computers in Simulation 70(5-6): 275-286 (2006) |
6 | EE | Ramprasad Potluri,
Lawrence E. Holloway:
Determining the right-hand vectors of an irredundant linear inequality system.
Oper. Res. Lett. 34(4): 373-381 (2006) |
2005 |
5 | EE | Jeffrey Ashley,
Lawrence E. Holloway:
An Equivalent CTL Formulation for Condition Sequences.
Discrete Event Dynamic Systems 15(4): 333-348 (2005) |
2004 |
4 | EE | Jeffrey Ashley,
Lawrence E. Holloway:
Qualitative Diagnosis of Condition Systems.
Discrete Event Dynamic Systems 14(4): 395-412 (2004) |
3 | EE | Lawrence E. Holloway,
A. S. Khare,
Yu Gong:
Computing bounds for forbidden State reachability functions for controlled Petri nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(2): 219-228 (2004) |
2000 |
2 | | S. R. Das,
Lawrence E. Holloway:
Characterizing a confidence space for discrete event timings for fault monitoring using discrete sensing and actuation signals.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 30(1): 52-66 (2000) |
1 | | Lawrence E. Holloway,
Xiaoyi Guan,
R. Sundaravadivelu,
J. Ashley Jr.:
Automated synthesis and composition of taskblocks for control of manufacturing systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5): 696-712 (2000) |