Lawrence E. Holloway - Publications

Affiliations: 
Electrical and Computer Engineering University of Kentucky, Lexington, KY 
Area:
Electronics and Electrical Engineering

34 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2009 Ashley J, Holloway L. Alternative models of synthesized programs for executing condition system controllers Ifac Proceedings Volumes (Ifac-Papersonline). 13: 1435-1440. DOI: 10.3182/20090603-3-Ru-2001.0479  0.445
2008 Ashley J, Holloway L. Detection of unmodelled anomalous behaviours via localized controllers for condition systems International Journal of Production Research. 46: 5289-5312. DOI: 10.1080/00207540802273645  0.425
2006 Holloway LE, Ashley J, Gong Y. Applying automated control synthesis methods to condition systems requiring state observers Control Engineering Practice. 14: 1169-1181. DOI: 10.1016/S1474-6670(17)30779-6  0.464
2006 Holloway LE, Gong Y, Ashley J. State observability and condition observability for a class of interacting discrete event systems Mathematics and Computers in Simulation. 70: 275-286. DOI: 10.1016/J.Matcom.2005.11.013  0.402
2005 Ashley J, Holloway LE, Dangoumau N. Fault recovering taskblocks and control synthesis for a class of condition systems Ifac Proceedings Volumes (Ifac-Papersonline). 16: 134-139. DOI: 10.3182/20050703-6-Cz-1902.01447  0.406
2005 Ashley J, Holloway LE. An equivalent CTL formulation for condition sequences Discrete Event Dynamic Systems: Theory and Applications. 15: 333-348. DOI: 10.1007/S10626-005-4056-0  0.413
2004 Ashley J, Holloway LE. Qualitative diagnosis of condition systems Discrete Event Dynamic Systems: Theory and Applications. 14: 395-412. DOI: 10.1023/B:Disc.0000039787.51382.Af  0.375
2004 Ashley J, Holloway LE. An equivalent LTL/Kripke structure for the condition sequence/condition system model Ifac Proceedings Volumes. 37: 57-62. DOI: 10.1016/S1474-6670(17)30722-X  0.41
2003 Gong Y, Holloway LE. Embedded microcontroller implementation of a class of condition systems Proceedings of the Annual Southeastern Symposium On System Theory. 2003: 167-171. DOI: 10.1109/SSST.2003.1194551  0.304
2002 Holloway LE, Khare AS. Computing bounds for forbidden state reachability functions for controlled Petri nets Proceedings - 6th International Workshop On Discrete Event Systems, Wodes 2002. 225-230. DOI: 10.1109/WODES.2002.1167692  0.394
2002 Seidman TI, Holloway LE. Stability of pull production control methods for systems with significant setups Ieee Transactions On Automatic Control. 47: 1637-1647. DOI: 10.1109/Tac.2002.803531  0.378
2002 Liu S, Holloway LE. Active sensing policies for stochastic systems Ieee Transactions On Automatic Control. 47: 373-377. DOI: 10.1109/9.983383  0.351
2002 Ashley J, Holloway LE. Diagnosis of condition systems using causal structure Proceedings of the American Control Conference. 1: 716-721.  0.311
2000 Holloway LE, Guan X, Sundaravadivelu R, Ashley JR. Automated synthesis and composition of taskblocks for control of manufacturing systems. Ieee Transactions On Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the Ieee Systems, Man, and Cybernetics Society. 30: 696-712. PMID 18252403 DOI: 10.1109/3477.875446  0.576
2000 Pandalai DN, Holloway LE. Template languages for fault monitoring of timed discrete event processes Ieee Transactions On Automatic Control. 45: 868-882. DOI: 10.1109/9.855548  0.374
1999 Porter JE, Holloway LE. Dynamic system control using slack descriptor models Conference Proceedings - Ieee Southeastcon. 67-69.  0.315
1997 Holloway LE, Krogh BH, Giua A. A Survey of Petri Net Methods for Controlled Discrete Event Systems Discrete Event Dynamic Systems: Theory and Applications. 7: 151-190. DOI: 10.1023/A:1008271916548  0.474
1996 Holloway LE, Chand S. Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations Integrated Computer-Aided Engineering. 3: 244-254. DOI: 10.3233/Ica-1996-3402  0.396
1996 Holloway LE, Guan X, Zhang L. A generalization of state avoidance policies for controlled Petri nets Ieee Transactions On Automatic Control. 41: 804-816. DOI: 10.1109/9.506233  0.577
1996 Kumar R, Holloway LE. Supervisory control of deterministic Petri nets with regular specification languages Ieee Transactions On Automatic Control. 41: 245-249. DOI: 10.1109/9.481527  0.381
1996 Lim H, Holloway LE. Active Sensing for Uncertain Systems Under Bounded-Uncertainty Sensing Goals Ifac Proceedings Volumes. 29: 4569-4574. DOI: 10.1016/S1474-6670(17)58402-5  0.361
1995 Holloway LE. Trajectory encoding for systems with irregular observations Automatica. 31: 405-418. DOI: 10.1016/0005-1098(94)00115-Y  0.415
1994 Sottile J, Holloway L. An overview of fault monitoring and diagnosis in mining equipment Ieee Transactions On Industry Applications. 30: 1326-1332. DOI: 10.1109/28.315247  0.342
1992 Holloway LE, Krogh BH. On Closed-Loop Liveness of Discrete-Event Systems Under Maximally Permissive Control Ieee Transactions On Automatic Control. 37: 692-697. DOI: 10.1109/9.135519  0.5
1992 Paul CJ, Holloway LE, Yan D, Strosnider JK, Krogh BH. An Intelligent Reactive Monitoring and Scheduling System Ieee Control Systems. 12: 78-86. DOI: 10.1109/37.165523  0.358
1992 Holloway L, Krogh B. On-line Fault Detection via Trajectory Encoding Ifac Proceedings Volumes. 25: 447-452. DOI: 10.1016/S1474-6670(17)52407-6  0.399
1992 Holloway LE, Krogh BH. Monitoring behavioral evolution for on-line fault detection Ifac Symposia Series. 313-319. DOI: 10.1016/S1474-6670(17)51160-X  0.407
1992 Holloway L, Krogh B. On-Line Trajectory Encoding for Discrete-Observation Process Monitoring Ifac Proceedings Volumes. 25: 145-150. DOI: 10.1016/S1474-6670(17)50231-1  0.382
1992 Krogh BH, Paul C, Yan D, Strosnider JK, Holloway LE. An Integrated Rule-Based/Algorithmic Architecture for On-Line Process Monitoring and Reactive Control Ifac Proceedings Volumes. 25: 313-317. DOI: 10.1016/S1474-6670(17)49516-4  0.41
1991 Holloway L, Krogh B. On-Line Evaluation of Systems with Discrete Observations Ifac Proceedings Volumes. 24: 41-46. DOI: 10.1016/S1474-6670(17)51221-5  0.439
1991 Krogh BH, Holloway LE. Synthesis of feedback control logic for discrete manufacturing systems Automatica. 27: 641-651. DOI: 10.1016/0005-1098(91)90055-7  0.472
1991 Holloway LE, Paul CJ, Strosnider JK, Krogh BH. Integration of behavioral fault-detection models and an intelligent reactive scheduler Proceedings of the 1991 Ieee International Symposium On Intelligent Control. 134-139.  0.3
1990 Holloway LE, Krogh BH. Synthesis of Feedback Control Logic for a Class of Controlled Petri Nets Ieee Transactions On Automatic Control. 35: 514-523. DOI: 10.1109/9.53517  0.444
1989 Holloway L, Krogh B. Synthesis of Feedback Control for Forbidden State Problems in Discrete Manufacturing Systems Ifac Proceedings Volumes. 22: 11-16. DOI: 10.1016/S1474-6670(17)54319-0  0.466
Show low-probability matches.