|
A. Journal Articles (Published/Accepted)
- H. Sahota, R. Kumar and A. Kamal, "A Wireless Sensor Network for Precision
Agriculture and its Performance", Wireless Communications and Mobile Computing, Accepted
(Sep. 2011)
- S. Xu, R. Kumar, and A.
Pinto, "Correct-by-Construction and
Optimal Network Synthesis for Distributed Control/Embedded Systems",
IEEE Transactions on Automation
Science and Engineering, Accepted (July 2011).
- S. Takai and R. Kumar,
"Distributed Prognosis of Discrete
Event Systems under Bounded-Delay Communications", IEEE Transactions on Automatic
Control, Accepted (May 2011).
- C. Zhou and R. Kumar,"Finite
Bisimulation of Reactive Untimed Infinite
State Systems Modeled as Automata with Variables",
Accepted (April 2011).
- L. Ouedraogo, R. Kumar,
R. Malik and K. Akesson, "Nonblocking and Safe Control of Systems modeled as
Extended Finite Automata", IEEE Transactions on on
Automation Science and Engineering, pages 560-569, volume 8, number 3, 2011.
- C. Zhou, and R. Kumar, "Bisimilarity Enforcement for Discrete Event Systems using
Deterministic Control",
IEEE Transactions on Automatic Control, DOI 10.1109/TAC.2011.2161790, July 2011.
- S. Takai and R. Kumar,
"Inference-based Decentralized
Prognosis in Discrete Event Systems", IEEE Transactions on Automatic Control, pages 165-171, volume 56, number 1, 2011.
- S. Bhattacharyya, R. Kumar and Z. Huang, "A Discrete Event Systems Approach to Network
Fault Management: Detection and Diagnosis of Faults", Asian Journal of Control, pages 1-14, volume 13, number 4, 2011.
- C. Zhou and R. Kumar, "Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata",
Journal of Discrete Event
Dynamical Systems, DOI
10.1007/s10626-010-0096- 1, Dec. 2010.
- S. Xu, S. Jiang, and R.
Kumar, "Diagnosis of Dense-time
Systems Using Digital Clocks", IEEE Transactions on
Automation Science and Engineering pages 870-878, volume 7, number 4,
2010.
- S. Xu and R. Kumar,
"Real-Time Supervisory Control of
Discrete Event Systems using Digital- Clocks", IEEE Transactions on Automatic Control, pages 2003-2013, volume 55, number 9, 2010.
- S. Takai and R. Kumar,
"Synthesis of Over-Approximating
Inference-based Decentralized Supervisors for Discrete Event Systems", IEEE Transactions on Automatic Control, pages 1881-1887, volume 55, number 8, 2010.
- S. Jiang, R. Kumar, S. Takai,
and W. Qiu, "Decentralized
Control of Discrete Event Systems with Multiple Local Specifications", IEEE Transactions on Automation Science and
Engineering, pages 512-522,
volume 7, number 3, 2010.
- L. Jin, R. Kumar, and N. Elia,
"Reachability analysis based
transient stability design in power system", International Journal of Electrical Power and
Energy Systems, pages 782-787,
volume 32, 2010.
- L. Jin, R. Kumar, and N. Elia,
"Model Predictive Control based
Power System Protection Schemes", IEEE Transactions on
Power Systems, pages 988-998, volume 25, number 2, 2010.
- S. Takai and
R. Kumar, "Decentralized
Diagnosis for Non failures of Discrete Event Systems Using
Inference-based Ambiguity Management", IEEE Transactions on Systems, Man, and Cybernetics-Part
A, pages
406-412, volume 40, number 2, 2010.
- R. Kumar and S. Takai,
"Decentralized Prognosis of Failures
in Discrete Event Systems", IEEE Transactions on
Automatic Control, pages 48-59, volume 55, no. 1, 2010.
- R. Kumar and S. Takai, "Inference-based Ambiguity Management in Decentralized
Decision- Making: Decentralized Diagnosis of Discrete Event Systems", IEEE Transactions on
Automation Science and Engineering, pages 479-491, volume 6,
number 3, July 2009.
- C. Zhou and R. Kumar, "Computation of Diagnosable Fault-Occurrence Indices for
Systems with Repeatable-Faults", IEEE Transactions on
Automatic Control, pages 1477-1489, volume 54,number 7, July
2009.
- H. Liu, L. Jin, J. McCalley,
R. Kumar, V. Ajjarapu, and N. Elia, "Planning
Reconfigurable Reactive Control for Voltage Stability Limited Power
Systems", IEEE Transactions on Power Systems, pages
1029-1038, volume 24, number 2, 2009.
- W. Qiu, Q. Wen, and R.
Kumar, "Decentralized Diagnosis of
Event-Driven Systems for Safely Reacting to Failure", IEEE
Transactions on Automation Science and Engineering, page 362-366,
volume 6, number 2, 2009.
- W. Qiu,
R. Kumar, and V. Chandra, "Decentralized Control of Discrete Event Systems Using
Prioritized Composition with Exclusion", IEEE Transactions on
Automatic Control pages 2425- 2430, volume 53, number 10, 2008.
- J. Huang, and R. Kumar, "Directed Control of Discrete Event Systems for
Safety and Nonblocking",
IEEE Transactions on Automation Science and Engineering, pages
620-629, volume 5,number 4, 2008.
- Q. Wen, R. Kumar, J. Huang, and H.
Liu, "A
Framework for Fault-Tolerant Control of Discrete Event Systems", IEEE Transactions on
Automatic Control, pages 1839-1849, volume 53, number 9, 2008.
- J. Huang, and R. Kumar, "Optimal Nonblocking
Directed Control of Discrete Event Systems", IEEE
Transactions on Automatic Control, pages 1592-1603, volume 53,
number 7, 2008.
- W. Qiu
and R. Kumar, "Distributed
Diagnosis Under Bounded-Delay Communication of Immediately Forwarded
Local Observations",
IEEE Transactions on System, Man, and Cybernetics, Part A,
pages 628-643, volume 38, number 3, 2008.
- S. Takai and R. Kumar, "Synthesis of Inference-based Decentralized
Control for Discrete Event Systems" , IEEE Transactions on Automatic Control ,pages
522-534, volume 53, number 2, 2008.
- C. Zhou and R. Kumar, "Prioritized Synchronization under
Mask for Interaction/Control of Partially Observed Discrete Event
Systems", IEEE
Transactions on Automation Science and Engineering, pages 101-112, volume 5, number 1,
2008.
- R. Kumar and S. Takai,
"Inference-based Ambiguity
Management in Decentralized Decision- Making: Decentralized Control of
Discrete Event Systems", IEEE Transactions on
Automatic Control, pages 1783-1794,
volume 52, number 10, 2007
- C. Zhou and R. Kumar, "Bisimilarity Control of Partially Observed Deterministic
Discrete Event Systems", IEEE Transactions on
Automatic Control, pages 1642-1653, volume 52, number 9, Sept.
2007.
- J. Huang, and R. Kumar, "An Optimal Directed Control Framework for
Discrete Event Systems", IEEE Transactions on Systems,
Man, and Cybernatics, Part A, pages 780-791, volume 37, number 5,
Sept. 2007.
- C. Zhou and R. Kumar, "Control of Nondeterministic Discrete
Event Systems for Simulation Equivalence", IEEE
Transactions on Automation Science and Engineering, pages 340-349, volume 4, number
3, July 2007.
- C. Zhou and R. Kumar, "A Small Model Theorem for Bisimilarity Control Under Partial Observation", IEEE Transactions on
Automated Science and Engineering, pages 93-97, volume 4,number
1, 2007.
- W. Qiu,
R. Kumar, and S. Jiang, "Decidability of Distributed Diagnosis under
Unbounded-Delay Communication", IEEE Transactions on Automatic Control, pages
114-117, volume 52, number 1, 2007.
- C. Zhou, R. Kumar, and S. Jiang, "Control of Nondeterministic Discrete Event
Systems for Bisimulation Equivalence",
IEEE Transactions on Automatic Control pages 754-765, volume 51,
number 5, 2006.
- S. Jiang and R. Kumar, "Supervisory Control of Discrete Event Systems
with CTL* Temporal Logic Specifications", SIAM Journal
on Control and Optimization, pages 2079-2103, volume 44, number
6, 2006.
- S. Jiang and R. Kumar, "Diagnosis of Repeated Failures for Discrete
Event Systems with Linear- Time Temporal Logic Specifications",
IEEE Transactions on Automation Science and Engineering,
pages 47-59, 3(1), 2006.
- W. Qiu
and R. Kumar, "Decentralized
failure diagnosis of discrete event systems", IEEE Transactions on
Systems, Man & Cybernetics - Part A, pages 384-395, volume
36, number 2, 2006.
- A. Arapostathis, R.
Kumar, and S.P. Hsu, "Control of
Markov Chains with Safety Bounds", IEEE Transactions
on Automation Science and Engineering, pages 333-343, 2(2), 2005.
- S. Takai, R. Kumar, and
T. Ushio, "Characterization of
Co-observable Languages and Formulae for their Super/Sub-Languages",
IEEE Transactions on Automatic Control, pages 434-447, 50(4), 2005.
- R. Kumar, S. Takai, M.
Fabian, and T. Ushio, "Mutually
& Globally Nonblocking Supervision with
Application to Switching Control". Automatica, pages
1299-1312, volume 41, 2005.
- R. Kumar, S. Jiang, C. Zhou, and W. Qiu. "Polynomial
synthesis of supervisor for partially observed discrete event systems
by allowing nondeterminism in control". IEEE Transactions on Automatic Control, pages
463-475, volume 50, number 4, 2005.
- R. Kumar and V. K. Garg. "On Computation of State
Avoidance Control for Infinite State Systems in Assignment Program
Model". IEEE Transactions
on Automation Science and Engineering, pages 87-91, Volume 2, number
2, 2005.
- S. Jiang and R. Kumar. "Failure Diagnosis of Discrete
Event Systems with Linear- time Temporal Logic Fault
Specifications". IEEE Transactions
on Automatic Control, pages 934-945, volume 49, number 6, 2004.
- F. Balduzzi and R. Kumar.
"Hybrid
Automata Model of Manufacturing Systems and its Optimal Control
Subject to Logical Constraints". International Journal of Hybrid Systems, pages
61-80, volume 3, number 1, 2003.
- R. Kumar and Z. Luo. "Optimizing the Operation
Sequence of a Chip Placement Machine using TSP Model". IEEE Transactions on Electronics Packaging
Manufacturing, pages 14-21, volume 26, number 1, 2003.
- A. Arapostathis, R.
Kumar, and S. Tangirala. "Controlled Markov Chains with
Safety Upper Bounds". IEEE
Transactions on Automatic Control, pages 1230-1234, volume 48, number
7, 2003.
- V. Chandra, Z. Huang, W. Qiu,
and R. Kumar. "Prioritized
Composition with Exclusion and Generation for the Interaction and
Control of Discrete Event Systems". Mathematical and Computer Modeling of Dynamical
Systems, pages 255-280, volume 9, number 3, 2003.
- Z. Huang, V. Chandra, S. Jiang, and R. Kumar. "Modeling Discrete Event
Systems with Faults using a Rules Based Modeling Formalism". Mathematical and Computer Modeling of Dynamical
Systems, pages 233-254, volume 9, number 3, 2003.
- S. Jiang, R. Kumar, and H. E. Garcia. "Diagnosis of
Repeated/Intermittent Failures in Discrete Event Systems". IEEE Transactions on Robotics and Automation,
pages 310-323, volume 19, number 2, April 2003.
- S. Jiang, R. Kumar, and H. E. Garcia. "Optimal Sensor Selection for
Discrete Event Systems with Partial Observation". IEEE Transactions on Automatic Control, pages
369-381, volume 48, number 3, March 2003.
- V. Chandra, Z. Huang, and R. Kumar. "Automated Control Synthesis
for an Assembly Line using Discrete Event System Control Theory". IEEE Transactions on Systems, Man, and Cybernetics
Part C, pages 284-289, volume 33, number 2, 2003.
- S. Jiang and R. Kumar. "Supervisory Control of
Nondeterministic Discrete Event Systems with Driven Events via Masked
Prioritized Synchronization". IEEE Transactions on Automatic Control, pages
1438-1449, volume 47, number 9, 2002.
- V. Chandra and R. Kumar. "A
Event Occurrence Rules based Compact Modeling Formalism for a Class of
Discrete Event Systems".
Mathematical and Computer Modeling of Dynamical Systems, pages 49-73,
volume 8, number 1, 2002.
- V. Chandra and R. Kumar. "A Discrete Event Systems
Modeling Formalism Based on Event Occurrence Rules and Precedences". IEEE Transactions on Robotics and Automation,
pages 785-794, volume 16, number 6, December 2001.
- S. Jiang, Z. Huang, V. Chandra, and R. Kumar. "A Polynomial Algorithm for
Testing Diagnosability of Discrete Event
Systems". IEEE Transactions
on Automatic Control, pages 1318-1321, volume 46, no. 8, 2001.
- R. Kumar and V. K. Garg. "Control of Stochastic Discrete
Event Systems Modeled by Probabilistic Languages". IEEE Transactions on Automatic Control, volume 46,
number 4, pages 593-606, April 2001.
- R. Kumar and J. A. Stover. "A Behavior-Based Intelligent
Control Architecture with Application to Coordination of Underwater
Vehicles". IEEE Transactions
on Systems, Man, and Cybernetics Part A: Systems and Humans, pages
767-784, volume 30, number 6, Nov. 2000.
- R. Kumar and M. Heymann. "Masked Prioritized
Synchronization for Interaction and Control of Discrete Event
Systems". IEEE Transactions
on Automatic Control, pages 1970-1982, volume 45, number 11, Nov.
2000.
- S. Jiang and R. Kumar. "Decentralized Control of
Discrete Event Systems with Specializations to Local Control and
Concurrent Systems". IEEE Transactions
on Systems, Man, and Cybernetics Part B: Cybernetics, pages 653-660,
volume 30, number 5, Oct. 2000.
- M. Fabian and R. Kumar. "Mutually Nonblocking
Supervisory Control of Discrete Event Systems". Automatica, pages
1863-1869, volume 36, 2000.
- M. A. Shayman and R.
Kumar. "Process
Objects and Masked Composition: An Object Oriented Approach for
Modeling and Control of Discrete Event Systems". IEEE Transactions on Automatic Control, pages
1864-1869, volume 44, number 10, October 1999.
- R. Ganguli, J. C. Yingling, J. Sottile,
and R. Kumar. "Optimal
control of coal segregation using on-line analyzers". Mining Engineering, pages 41-47, volume 51, number
4, 1999.
- V. K. Garg, R. Kumar, and
S. I. Marcus. "Probabilistic
Language Framework for Stochastic Discrete Event Systems". IEEE Transactions on Automatic Control, pages
280-293, volume 44, number 2, 1999.
- Z. Luo, R. Kumar, J. Sottile, and J. Yingling.
"An
MILP Formulation for Load- Side Demand Control". Electric Machines and Power Systems, pages
935-949, volume 26, number 9, Nov. 1998.
- R. Kumar, H. M. Cheung, and S. I. Marcus. "Extension based Limited Lookahead Supervision of Discrete Event
Systems". Automatica,
pages 1327-1344, volume 34, number 11, 1998.
- R. Kumar and M. A. Shayman.
"Formulae
relating Controllability, Observability and
Co-Observability". Automatica, pages
211-215, volume 34, number 2, March 1998.
- R. Kumar and M. A. Shayman.
"Centralized
and Decentralized Supervisory Control of Nondeterministic Systems
Under Partial Observation". SIAM
Journal of Control and Optimization, pages 363-383, volume 35, number
2, March 1997.
- R. Kumar, S. Nelvagal,
and S. I. Marcus. "A
Discrete Event Systems Approach for Protocol Conversion". Journal of Discrete Event Dynamical Systems:
Theory and Applications, pages 295-315, volume 7, number 3, June 1997.
- R. Kumar and M. A. Shayman.
"Non-blocking
Supervisory Control of Nondeterministic Systems via Prioritized
Synchronization". IEEE Transactions
on Automatic Control, pages 1160-1175, volume 41, number 8, August
1996.
- R. Kumar, V. K. Garg, and
S. I. Marcus. "Corrections
to Finite Buffer Realization of Input-Output Discrete Event
Systems". IEEE Transactions
on Automatic Control, pages 625-627, volume 41, number 4, April 1996.
- R. Kumar and L. E. Holloway. "Supervisory Control of Petri
Nets with Regular Specifcation
Languages". IEEE Transactions
on Automatic Control, pages 245-249, volume 41, number 2, February
1996.
- R. Kumar and V. K. Garg. "Extremal
Solutions of Inequations over Lattices with
Applications to Supervisory Control". Theoretical Computer Science, pages 67-92, volume
148, November 1995.
- R. Kumar, V. K. Garg, and
S. I. Marcus. "Finite
Buffer Realization of Input-Output Discrete Event Systems". IEEE Transactions on Automatic Control, pages
1042-1053, volume 40, number 6, June 1995.
- R. Kumar and V. K. Garg. "Optimal Supervisory Control of
Discrete Event Dynamical Systems". SIAM Journal of Control and Optimization, pages
419-439, volume 33, number 2, March 1995.
- M. A. Shayman and R.
Kumar. "Supervisory
Control of Nondeterministic Systems using Prioritized Synchronous
Composition and Trajectory Models". SIAM Journal of Control and Optimization, pages
469-497, volume 33, number 2, March 1995.
- R. Kumar and Haomin Li. "Integer Programming Approach
to Printed Circuit Board Assembly Time Optimization". IEEE Transactions on Components, Packaging and
Manufacturing Technology, pages 720-727, volume 18, number 4, November
1995.
- R. Kumar, V. K. Garg, and
S. I. Marcus. "Language
Stability and Language Stabilizability of
Discrete Event Systems". SIAM
Journal of Control and Optimization, pages 1294-1320, volume 31,
number 5, September 1993.
- R. Kumar, V. K. Garg, and
S. I. Marcus. "Predicates
and Predicate Transformers for Supervisory Control of Discrete Event
Dynamical Systems". IEEE Transactions
on Automatic Control, pages 232-247, volume 38, number 2, February
1993.
- R. Kumar, V. K. Garg, and
S. I. Marcus. "On
Supervisory Control of Sequential Behaviors". IEEE Transactions on Automatic Control, pages
1978-1985, volume 37, number 12, December 1992.
- R. Kumar, V. K. Garg, and
S. I. Marcus. "On
Controllability and Normality of DEDS". Systems and Control Letters, pages 157-168, volume
17, 1991.
- R. D. Brandt, V. K. Garg,
R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham.
"Formulas
for Calculating Supremal Controllable and
Normal Sublanguages".
Systems and Control Letters, pages 111-117, volume 15, August 1990.
Return to Top
B.
Refereed Conference Articles (Published/Accepted)
- M. Li and R. Kumar, "Stateflow to Extended
Finite Automata Translation", 2011
IEEE International Computer Systems and Applications Conference,
Munich, July 2011.
- M. Li and R. Kumar, "Model-based test generation for Simulink/Stateflow", 2011 Safe and Secure Systems and Software Symposium (S5),
Dayton, June 2011.
- H. Sahota, R. Kumar and A. Kamal, "Performance Modeling and Simulation Studies of
MAC Protocols in Sensor Network Performance", 2011 International Wireless Communications and
Mobile Computing Conference, pages 1871-1876, Istanbul,
July 2011.
- L. Ouedraogo and
R. Kumar, "Exact
Response Time of FlexRay Communication
Protocol", 2011 International
Wireless Communications and Mobile Computing Conference (IWCMC),
pages 789-794, Isanbul, July 2011.
- C. Zhou, R. Kumar, and S. Jiang, "A Formal Analysis Approach of Runtime Data-Log
for Embedded Software-Fault Localization" 2011 American Control Conference, pages
5127-5132, San Francisco, June 2011.
- L. Ouedraogo, R.
Kumar, R. Malik, and K. Akesson, "Symbolic Approach to Nonblocking
and Safe Control of Extended Finite Automata" 2010 IEEE Conf. on Automation Science and
Engineering, pages 471-476, Toronto, August 2010.
- H. Sahota, R. Kumar, and A. Kamal. "An
Energy Efficient Wireless Sensor Network for Precision Agriculture", 2010 IEEE Symposium on Computers and
Communications, pages 347-350,
Riccione, Italy, 2010.
- S. Takai and R.
Kumar, "Distributed Prognosis of
Discrete Event Systems under Bounded-Delay Communications",
2009 IEEE Conference on Decision and
Control, pages 1235-1240, Shanghai, China, 2009.
- A. Pinto, R. Kumar, and S. Xu, "Synthesis
of Wireless Time-Triggered Embedded Networks for Networked Control
Systems", 2009 IEEE
Conference on Automation Science and Engineering, pages
397-402, Bangalore, India, 2009.
- S.
Xu and R. Kumar, "Discrete Event Control under Nondeterministic
Partial Observation", 2009
IEEE Conference on Automation Science and Engineering, pages 127-132, Bangalore, India, 2009.
- S.
Jiang and R. Kumar, "Prevention of Sequential Message Loss in CAN
Systems", 2009 IEEE International Computer Software and
Applications Conference, pages
479-484, Seattle, July 2009.
- C.
Zhou and R. Kumar, "Modeling
Simulink Diagrams using Input/Output
Extended Finite Automata", 2009
IEEE International Computer Software and Applications Conference,
pages 462- 467, Seattle, July 2009.
- S.
Mitra, R. Kumar, and S. Basu,
"A Framework for Optimal
Decentralized Service-Choreography"
2009 IEEE International Conference on Web Services, pages
493-500, Los Angeles, CA, July 2009.
- H. Liu, L. Jin, J. McCalley,
R. Kumar, V. Ajjarapu, and N. Elia, "Planning
reconfigurable reactive control for voltage stability limited power
systems", 2009 IEEE Power and Energy Society General
Meeting, Alberta, Canada, July 2009.
- L. Jin and R. Kumar, "Security
Constrained Coordinated Dynamic Voltage Stabilization based on Model
Predictive Control ", 2009 IEEE
Power and Energy Society General Meeting, pages 1-8, Alberta, Canada, July 2009.
- S.
Takai and R. Kumar, "Verification
and Synthesis for Secrecy in Discrete Event Systems", 2009
American Control Conference, pages 4741-4746, St. Louis, MO, June
2009.
- S.
Xu and R. Kumar, "Distributed
State Estimation in Discrete Event Systems", 2009 American Control
Conference, pages
4735-4740, St. Louis, MO, June 2009.
- C.
Zhou and R. Kumar, "On
Identification of Input/Output Extended
Automata with Finite Bisimilar Quotients",
2009 American Control Conference, pages 5653-5658, St. Louis, MO, June
2009.
- L. Jin and R. Kumar, "Coordinated
Dynamic Voltage Stabilization based on Model Predictive Control", 2009 IEEE Power Systems Conference and Exposition, Seattle, WA, March 2009.
- S. Takai and R.
Kumar, "Inference-Based Decentralized
Prognosis in Discrete Event Systems", 2008 IEEE Confernce on Decision and Control, pages 871-876,
Cancun, Mexico, Dec. 2008.
- L. Jin, R. Kumar, and N. Elia,
"Security Constrained Emergency
Voltage Stabilization: A Model Predictive Control Based Approach",
2008 IEEE Confernce on Decision and Control,
pages 2469-2474, Cancun, Mexico, Dec. 2008.
- C. Zhou, R. Kumar, and S. Jiang, "Keynote:
Hierarchical Fault Detection in Embedded Control Software", 2008 International
Workshop on Software Cybernetics, pages
816-823, Turku, Finland, July 2008. (Invited paper for keynote
speech).
- S.
Mitra, R. Kumar, and S. Basu,
"Optimum Decentralized
Choreography for Web Service Composition",
2008 International Conference on Service Computing, pages
395-402, Honolulu, Hawaii, July 2008.
- J. Huang, R. Kumar, A. Kamal, and R. Weber, "Development
A Wireless Soil Sensor Network", 2008
American Society of Agriculture and Biosystems
Engineering, Providence, RI, June 2008.
- Q.
Wen, J. Huang, and R. Kumar, "Synthesis of Optimal Fault-tolerant Supervisor
for Discrete Event Systems", 2008 American Control Conference,
pages 1172-1177, Seattle, WA, June 2008.
- S.
Xu_and R. Kumar, S. Jiang and S. Ramesh, "A
Simulation Condition for Correct Desynchronization", 2008 American Control Conference, pages 1728-1733,
Seattle, WA, June 2008.
- S.
Xu and R. Kumar, "Asynchronous
Implementation of Synchronous Discrete Event Control", 2008 Workshop on
Discrete Event Systems, pages
181-186, Goteborg, Sweden, May 2008.
- R. Kumar, C. Zhou, and S. Jiang,
"Safety and Transition-Structure
Preserving Abstraction of Hybrid Systems with Inputs/Outputs", 2008
Workshop on Discrete Event Systems, pages 206-211, Goteborg, Sweden, May 2008.
- C. Zhou, R. Kumar, and R. Sreenivas, "Decentralized
Modular Diagnosis of Concurrent Discrete Event Systems", 2008 Workshop on Discrete
Event Systems,
pages 388-393, Goteborg, Sweden, May 2008.
- R.
Kumar and S. Takai, "Decentralized Prognosis of Failures in Discrete
Event Systems", 2008 Workshop on
Discrete Event Systems, pages 376-381, Goteborg, Sweden, May 2008.
- C.
Zhou, R. Kumar, and R. S. Sreenivas, "Decentralized Modular Control of Concurrent
Discrete Event Systems", IEEE Conference on Decision and
Control, pages
5918-5923, New Orleans, LA, Dec. 2007.
- S.
Xu and R. Kumar, "Control of Dense-time Discrete Event Systems
using Digital-Clocks to Observe Event-Occurrence Times",
IEEE Conference on Decision and Control, pages 3399-3404, New Orleans,
LA, Dec. 2007.
- S.
Basu and R. Kumar, "Quotient-based
Control Synthesis for Partially Observed Non-Deterministic Plants with
Mu-Calculus Specifications", IEEE Conference on Decision and Control,
pages 5294 - 5299, New Orleans, LA, Dec. 2007.
- S.
Mitra, S. Basu,
and R. Kumar, "Local
and On-the-fly Choreography-based Web Service Composition",
2007 IEEE/WIC/ACM International Conference on Web Intelligence,
pages 521- 527, Fremont, CA, Nov. 2007.
- S. Bhattacharyya, R. Kumar, S. Tangirala, and L. E. Holloway, "Automated
Coordinator Synthesis for Mission Control of Autonomous Underwater
Vehicles", MTS/IEEE
Oceans 2007, pages 1-10,
Vancouver, Canada, Oct. 2007.
- Shigemasa
Takai and Ratnesh Kumar, "Inference-Diagnosability:
Nonconvergence and Other Complexity Results", Proceedings of SICE Annual
Conference 2007, pages
533-539, Takamatsu, Japan, Sept. 2007.
- C.
Zhou, R. Kumar, D. Bhatt, K. Schloegel, and
D. Cofer, "A Framework of Hierarchical Requirements
Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules",
Software Engineering and
Knowledge Engineering, Boston, MA, July 2007.
- S.
Mitra, R. Kumar, and S. Basu, "Automated Choreographer Synthesis for Web
Services Composition Using I/O Automata",
2007 IEEE International
Conference on Web Services, pages 364-371, Salt Lake City, UT,
July 2007.
- Q. Wen*, J. Huang*, H. Liu*, and R. Kumar, "Fault-Tolerant Control of Discrete Event
Systems: Formulation and Existence Results", 2007 Workshop
Dependable Control of Discrete Systems, Paris, France, June 2007.
(Invited Paper).
- W.
Qiu and R. Kumar, "A
Protocol for Distributed State-Estimation in Discrete Event Systems",
2007 Workshop Dependable Control
of Discrete Systems, Paris, France, June 2007. (Invited Paper)
- L.
Jin, R. Kumar, and N. Elia, "Application of Model Predictive Control
in Voltage stabilization", American Control Conference,
pages 5916 - 5921, New York City, NY, July 2007.
- Q.
Wen, R. Kumar, J. Huang, and H. Liu, "Weakly
Fault-Tolerant Supervisory Control of Discrete Event Systems",
American Control Conference, pages 5649 - 5654, New York City, NY,
July 2007.
- S.
Takai and R. Kumar, "Synthesis
of Over-Approximating Inference-based Decentralized Supervisor for
Discrete Event Systems", American Control Conference,
pages 4268-4273, New York City, NY, July 2007.
- J.
Huang and R. Kumar, "Optimal Nonblocking Directed Control of Discrete Event
Systems", American Control Conference, pages 4285-4290,
New York City, NY, July 2007.
- J.
Ashley, L. E. Holloway and R. Kumar, "Qualitative Diagnosis of Condition Systems for
Multiple Subsystem Failures", American Control
Conference, pages 5657-5663, New
York City, NY, July 2007.
- S.
Basu and R. Kumar, "Quotient-based Control Synthesis for
Non-Deterministic Plants with Mu-Calculus Specifications",
IEEE Conference on Decision and
Control, pages 6041-6046, San Diego, CA, December 2006.
- S.
Takai+ and R. Kumar, "Synthesis of Inference-Based Decentralized
Control for Discrete Event Systems",
IEEE Conference on Decision and Control, pages 410-415, San Diego, CA,
December 2006.
- G.
Stamp, Y. Ong, R. Kumar, and C. Zhou "DECADA: Tool for Discrete-Event Control
and Diagnosis Analysis", 2006 International Workshop on Discrete Event Systems,
pages 396-397, Ann Arbor, MI, July 2006. (Invited paper)
- C.
Zhou and R. Kumar, "Prioritized
Synchronization under Mask for Interaction/Control Event Driven
Systems", 2006 International Workshop on Discrete Event
Systems, pages 21-26, Ann Arbor, MI, July 2006.
- S.
Takai and R. Kumar, "Decentralized
Diagnosis for Non-failures of Discrete Event Systems using
Inference-based Ambiguity Management", 2006 International
Workshop on Discrete Event Systems, pages 242-247, Ann Arbor, MI, July
2006.
- S.
Jiang and R. Kumar, "Diagnosis of
Dense-Time Systems Using Digital Clocks", 2006 American
Control Conference, pages 6051-6056, Minneapolis, June 2006.
- J.
Huang and R. Kumar, "Directed
Control of Discrete Event Systems: An Optimization Based Approach",
2006 American Control Conference, pages 4141-4146, Minneapolis, June
2006.
- R.
Kumar and S. Takai, "Inference-based
Ambiguity Management in Decentralized Decision Making: Decentralized
Diagnosis of Discrete Event Systems", 2006 American Control
Conference, pages 6069-6074, Minneapolis, June 2006.
- W.
Qiu_ and R. Kumar, "A
New Protocol for Distributed Diagnosis", 2006 American
Control Conference, pages 6063-6068, Minneapolis, June 2006.
- R.
Kumar, C. Zhou, and S. Basu, "Finite Bisimulation
of Reactive Untimed Infinite State Systems Modeled as Automata with
Variables", 2006 American Control Conference, pages
6057-6062, Minneapolis, June 2006.
- M.
O'Connor, S. Tangirala, R. Kumar, S.
Bhattacharyya, M. Sznaier, and L. E.
Holloway, "A Bottom-up Approach to
Verification of Hybrid Model-Based Hierarchical Controllers with
application to Underwater Vehicles", 2006 American Control
Conference, pages 4267-4272, Mineapolis,
June 2006.
- S.
Bhattacharyya, R. Kumar, S. Tangirala, M.
O’Connor, and L. E. Holloway, "Animation/Simulation
of Missions for Autonomous Underwater Vehicles with Hybrid-Model based
Hierarchical Mission Control Architecture", 2006 American
Control Conference, pages 4273-4278, Minneapolis, June 2006.
- S.-P.
Hsu, A. Arapostathis, and R. Kumar, "Markov Decision Processes with
Strict-Sense Constraints", 2006 American Control
Conference, pages 4516-4521, Minneapolis, June 2006.
- H.
Liu, L. Jin, J. McCalley, R. Kumar, and V. Ajjarapu, "Planning
Minimum Reactive Compensation to Mitigate Voltage Instability",
2006 IEEE Power and Energy Society General Meeting, pages 1-7,
Montreal, Canada, June 2006.
- C.
Zhou and R. Kumar, "Bisimilarity Control under Partial Observation of
Deterministic Plants", 2005 IEEE Conference on Decision
and Control, pages 24-29, Spain, Dec. 2005. (Invited paper)
- C.
Zhou and R. Kumar, "Computation of
Diagnosable Fault-Occurrence Indices for Systems with
Repeatable-Faults", 2005 IEEE Conference on Decision and
Control, pages 6311-6316, Spain, Dec. 2005.
- J.
Huang and R. Kumar. "Nonblocking Directed Control of Discrete Event
Systems". 2005 IEEE
Conference on Decision and Control, Spain, Dec. 2005.
- R.
Kumar and S. Takai, "Inference-based Ambiguity Management in
Decentralized Decision-Making: Decentralized Control of Discrete Event
Systems". 2005 IEEE
Conference on Decision and Control, Spain, Dec. 2005.
- R.
Kumar and S. Takai. "Inference-based Decentralized Failure Diagnosis
of Discrete Event Systems". 2005
SICE Symposium on Systems and Information, pages 337-342, Fukuoka,
Japan, Nov. 2005.
- L.
Jin, H. Liu, R. Kumar, J. McCalley, N. Elia, and V. Ajjarapu. "Power System Transient Stability Design using
Reachability based Stability-Region Computaiton".
Annual North American Power Symposium, Ames, IA, Oct. 2005.
- H.
Liu, L. Jin, J. McCalley, R. Kumar, and V. Ajjarapu. "Linear Complexity Search Algorithm to Locate
Shunt and Series Compensation for Enhancing Voltage Stability".
Annual North American Power Symposium, Ames, IA, Oct. 2005.
- R.
Kumar and S. Takai. "Inference-based Decentralized Supervisory
Control of Discrete Event Systems".
Proceedings of the 15th Intelligent Systems Symposium, pages 165-170,
Kyoto, Japan, Sept. 2005.
- Matt
O'Connor, Sekhar Tangirala,
Ratnesh Kumar, John Dzielski and Mario Sznaier, "A Bottom-Up Approach to Verification of Hybrid
Model-Based Hierarchical Controllers with Application to Underwater
Vehicles", Proceedings of the
14th International Symposium on Unmanned Untethered Submersible
Technology (UUST05), Durham, NH, 2005.
- W.
Qiu and R. Kumar, "Decentralized Diagnosis of Event-Driven Systems
for Safely Reacting to Failures".
IFAC World Congress, Prague, July 2005.
- C.
Zhou and R. Kumar, "Supervisory
Control of Discrete Event Systems for Bisimulation
or Simulation Equivalence", International
Conference on Application and Theory of Petri Nets and other Models of
Concurrency: Workshop on Control of Hybrid and Discrete Event Systems,
pages 103-122, Miami, FL, June 2005. (Invited paper)
- H.
Liu, L. Jin, V. Ajjarapu, R. Kumar, J. D. McCalley, N. Elia, and
V. Vittal. "Reachability Analysis Based Minimal Load
Shedding Determination". 2005
IEEE Power Eng. Society General Meeting, San Franciso,
CA, June 2005.
- L.
Jin, H. Liu, R. Kumar, V. Ajjarapu, J. D. McCalley, N. Elia, and
V. Vittal. "An Application of Reachable Set Analysis in
Power System Transient Stability Assessment".
2005 IEEE Power Eng. Society General Meeting, San Franciso,
CA, June 2005.
- C.
Zhou and R. Kumar. "Small
Model Theorem for Bisimilarity Control under
Partial Observation". 2005
American Control Conference, Portland, OR, June 2005.
- C.
Zhou and R. Kumar. "Interaction
and Control of Discrete Event Systems via Prioritized Synchronous
Composition under Mask". 2005
American Control Conference, Portland, OR, June 2005.
- W.
Qiu and R. Kumar. "Distributed Failure Diagnosis Under Bounded
Delay Using Immediate Observation Passing Protocol".
2005 American Control Conference, Portland, OR, June 2005.
- S.
Tangirala, R. Kumar, S. Bhattacharyya, M.
O'Connor, and L. E. Holloway, "Hybrid-Model based Hierarchical Mission Control
Architecture for Autonomous Underwater Vehicles",
2005 American Control Conference, pages 678-673, Portland, OR, June
2005.
- C.
Zhou and R. Kumar. "Control
of Nondeterministic Discrete Event Systems for Simulation Equivalence".
2004 IEEE Conference on Decision and Control, Bahamas, December 2004.
- W.
Wu, A. Arapostathis, and R. Kumar. "On Non-Stationary Policies and Maximal Invariant
Safe Sets of Controlled Markov Chains".
2004 IEEE Conference on Decision and Control, Bahamas, December 2004.
- W.
Qiu and R. Kumar. "Decentralized Nondeterministic Supervisory
Control of Discrete Event Systems".
2004 IEEE Conference on Decision and Control, Bahamas, December 2004.
- R.
Kumar, S. Takai, M. Fabian, and T. Ushio. "Maximally permissive mutually and globally nonblocking supervisors for discrete event
systems". International
Workshop on Discrete Event Systems, Reims, France, September 2004.
- W.
Qiu and R. Kumar. "Decentralized Failure Diagnosis of Discrete
Event Systems". International
Workshop on Discrete Event Systems, Reims, France, September 2004.
- H.
Liu, J. McCalley, R. Kumar, N. Elia, V. Ajjarapu, and
V. Vittal. "Planning Power System Hybrid Control for
Transmission Enhancement". Annual
North American Power Symposium, Moscow, ID, August 2004.
- J.
McCalley, R. Kumar, N. Elia,
V. Ajjarapu, V. Vittal,
H. Liu, L. Jin, O. Volij, and W. Shang, "Planning of Reconfigurable Power Systems".
Electric Power Network Efficiency and Security (EPNES) Workshop,
Puerto Rico, 2004. (Invited paper)
- R.
Kumar, S. Jiang, C. Zhou, and W. Qiu. "Control using nondeterministic supervisors for
partially observed discrete event systems".
Proceedings of 2004 American Control Conference, 4472-4476, Boston,
MA, June 2004.
- C.
Zhou, R. Kumar, and S. Jiang. "Control of nondeterministic discrete event
systems for bisimulation equivalence".
Proceedings of 2004 American Control Conference, pages 4488-4492,
Boston, MA, June 2004.
- W.
Qiu, R. Kumar, and V. Chandra. "Decentralized Control of Discrete Event Systems
Using Prioritized Composition with Exclusion".
Proceedings of 2004 American Control Conference, pages 4483-4487,
Boston, MA, June 2004.
- Z.
Huang, S. Bhattacharyya, V. Chandra, S. Jiang, and R. Kumar. "Diagnosis of Discrete Event Systems in
Rules-based Model using First-order Linear Temporal Logic".
Proceedings of 2004 American Control Conference, 5114-5119, Boston,
MA, June 2004.
- S.
Bhattacharyya, Z. Huang, V. Chandra, and R. Kumar. "Discrete Event Systems Approach to Network Fault
Management: Detection and Diagnosis of Faults".
Proceedings of 2004 American Control Conference, pages 5108-5113,
Boston, MA, June 2004.
- J.
McCalley, R. Kumar, N. Elia,
V. Ajjarapu, and V. Vittal.
"Planning Reconfigurable Power
System Control for Transmission Enhancement with Cost Recovery".
Electric Power Network Efficiency and Security (EPNES) Workshop,
Orlando, FL, 2003.
- A.
Arapostathis, R. Kumar, and S.-P. Hsu. "State-feedback Control of Markov Chains with
Safety Bounds". 2003 IEEE
Conference on Decision and Control, Maui, Hawaii, Dec. 2003.
- S.
Jiang and R. Kumar. "Diagnosis
of Repeated Failures for Discrete Event Systems with Linear-Time
Temporal Logic Specifications".
2003 IEEE Conference on Decision and Control, Maui, Hawaii, Dec. 2003.
- Z.
Huang, V. Chandra, S. Jiang, and R. Kumar. "Diagnosis of Discrete-Event Systems in
Rules-based Model using First Order Logic".
Workshop on Model Checking and Artificial Intelligence, Acapulco,
Mexico, August 2003.
- V.
Chandra, Z. Huang, and R. Kumar. "Concurrent, Asynchronous, and Generative
Interactions for the Modeling and Control of Discrete Event
Systems". 2003 American
Conference on Control, pages 4010-4015, Denver, CO, June 2003.
- S.
Takai, R. Kumar, and T. Ushio. "Characterization and Computation of Classes of
Co-observable Languages for Decentralized Control of Discrete Event
Systems". 2002 IEEE
Conference on Decision and Control, pages 578-583, Las Vegas, NV, Dec.
2002.
- Z.
Huang, V. Chandra, S. Jiang, and R. Kumar. "Modeling discrete event systems with faults
using a rules based modeling formalism".
2002 IEEE Conference on Decision and Control, pages 4012-4017, Las
Vegas, NV, Dec. 2002.
- S.
Jiang, R. Kumar, and H. E. Garcia. "Diagnosis of Repeated Failures in Discrete Event
Systems". 2002 IEEE
Conference on Decision and Control, pages 4000-4005, Las Vegas, NV,
Dec. 2002.
- V.
Chandra and R. Kumar. "An
Event Occurrence Rules based Compact Modeling Formalism for a Class of
Discrete Event Systems". 2002
American Control Conference, pages 724-729, Anchorage, Alaska, May
2002.
- S.
Jiang and R. Kumar. "Failure
Diagnosis of Discrete Event Systems with Linear- time Temporal Logic
Fault Specifications". 2002
American Control Conference, pages 128-133, Anchorage, Alaska, May
2002.
- A.
Arapostathis, R. Kumar, and S. Tangirala. "Controlled Markov Chains and Safety
Criteria". 2001 IEEE
Conference on Decision and Control, pages 1675-1680, Orlando, FL.
- S.
Jiang and R. Kumar. "Supervisory
Control of Discrete Event Systems with CTL Temporal Logic
Specifications". 2001 IEEE
Conference on Decision and Control, pages 4122-4127, Orlando, FL, Dec.
2001.
- S.
Jiang, V. Chandra, and R. Kumar. "Decentralized Supervisory Control of Discrete
Event Systems with Multiple Local Specifications".
2001 American Control Conference, pages 959-964, Arlington, VA, June
2001.
- V.
Chandra and R. Kumar. "A
New Modeling Formalism and Automata Model Generator for a Class of
Discrete Event Systems". 2001
American Control Conference, pages 4562-4567, Arlington, VA, June
2001.
- V.
Chandra, S. R. Mohanty, and R. Kumar. "Automated Control Synthesis for an Assembly Line
using Discrete Event Systems Control Theory".
2001 American Control Conference, pages 4956-4961, Arlington, VA, June
2001.
- S.
Jiang and R. Kumar. "Modular
Decentralized Control of Discrete Event Systems".
2000 Japan-USA Symposium on Flexible Automation, Ann Arbor, MI, July
2000.
- S.
Jiang and R. Kumar. "Supervisory
control of nondeterministic discrete event systems with driven events
via masked prioritized synchronization".
IEEE Conference on Decision and Control, pages 2212-2217, Phoenix, AZ,
Dec. 1999.
- S.
Jiang and R. Kumar. "Decentralized
Supervisory Control of Concurrent Discrete Event Systems with Partial
Observations". 1999 Annual Allerton Conference on Communication, Control, and
Computing, Urbana, IL, September 1999.
- R.
Kumar and J. A. Stover. "The
CINET Fuzzy Classifer: Formal Background and
Enhancements". IEEE International
Symposium on Intelligent Control, pages 314-319, Cambridge, MA, Sept.
1999.
- J.
A. Stover and R. Kumar. "A
Behavior-based Architecture for the Design of Intelligent Controllers
for Autonomous Systems". IEEE International
Symposium on Intelligent Control, pages 308-313, Cambridge, MA, Sept.
1999.
- S.
R. Mohanty, V. Chandra, and R. Kumar. "A Computer Implementable Algorithm for Optimal
Controller Synthesis for Acyclic Discrete Event Processes".
1999 International Conference on Robotics and Automation, Detroit, MI,
May 1999.
- S.
R. Mohanty and R. Kumar. "On the Synthesis of an Optimal Controller for a
class of Discrete Event Processes".
1998 International Conference on Information Technology, Bhubaneswar,
India, December 1998.
- R.
Kumar and V. K. Garg. "Control of Stochastic Discrete Event Systems:
Synthesis". 1998 IEEE
Conference on Decision and Control, pages 3299-3304, Tampa, FL, December
1998.
- R.
Kumar, J. A. Stover, and A. Kiraly. "Discrete Event Modeling of a Behavior-Based
Intelligent Control Architecture".
1998 Joint Conference on Information Sciences, pages 288-291, Research
Triangle Park, NC, October 1998.
- R.
Kumar and J. A. Stover. "A
Behavior-Based Intelligent Control Architecture".
1998 IEEE International Symposium on Intelligent Control, pages
549-553, Gaithers- burg, MD, September 1998.
- G.
Westerman, C. Stroud, J. R. Heath, and R.
Kumar. "Delay
fault analysis using discrete event systems approach".
1998 AUTOTESTCON, pages 22-27, Salt Lake City, UT, August 1998.
- G.
Westerman, R. Kumar, J. R. Heath, and C. E.
Stroud. "Discrete
event systems approach for delay fault analysis in digital
circuits". pages
239-243, 1998 American Control Conference, Philadelphia, June 1998.
- R.
Kumar and M. Heymann. "Masked
prioritized synchronization for interaction and control of Discrete
Event Systems". 1997 IEEE Conference on Decision and Control,
pages 2952-2957, San Diego, December 1997.
- M.
Fabian and R. Kumar. "Mutually
nonblocking supervisory control of Discrete
Event Systems". 1997 IEEE
Conference on Decision and Control, pages 2970-2975, San Diego,
December 1997.
- R.
Kumar and M. Fabian. "On
supervisory control of partial speci
cation arising in protocol conversion".
1997 Annual Allerton Conference on
Communication, Control, and Computing, pages 543-552, Urbana, IL,
October 1997.
- R.
Kumar, H. M. Cheung, and S. I. Marcus. "Extension based Limited Lookahead
Supervision of Discrete Event Systems".
1996 IEEE Conference on Decision and Control, Kobe, Japan, December
1996.
- R.
Kumar, S. Nelvagal, and S. I. Marcus. "Protocol Conversion using Supervisory Control
Techniques". 1996 IEEE
CCA/ISIC/CACSD, pages 32-37, Dearborn, MI, September 1996.
- R.
Kumar and M. A. Shayman. "Automata Theoretic Tests for Observability
and Co- Observability".
1995 IEEE Conference on Decision and Control, pages 919-920, New
Orleans, LA, December 1995.
- R.
Kumar and V. K. Garg. "Assignment Program Model for Control of Infinite
State Systems". 1995 Annual Allerton Conference on Communication, Control, and
Computing, pages 166-175, Urbana, IL, October 1995.
- M.
A. Shayman and R. Kumar. "A New Framework for Supervisory Control".
1995 American Control Conference on Decision and Control, pages
3141-3145, Seattle, WA, June 1995.
- R.
Kumar and M. A. Shayman. "Supervisory Control under Partial Observation of
Nondeterministic Systems via Prioritized Synchronization".
1994 IEEE Conference on Decision and Control, pages 3649-3654,
Orlando, FL, December 1994.
- R.
Kumar and V. K. Garg. "Extremal Solutions of Inequations over Lattices with Applications to
Supervisory Control". 1994
IEEE Conference on Decision and Control, pages 3636-3641, Orlando, FL,
December 1994.
- M.
A. Shayman and R. Kumar. "A New Approach to Supervisory Control".
1994 Annual Allerton Conference on
Communication, Control, and Computing, pages 861- 870, Urbana, IL,
September 1994.
- R.
Kumar and V. K. Garg. "Formula for Supremal-Controllable
Languages". 1994 Annual Allerton Conference on Communication, Control, and
Computing, pages 900- 901, Urbana, IL, September 1994.
- R.
Kumar and Haomin Li. "Assembly Time Optimization for PCB
Assembly". 1994 American
Control Conference, pages 306-310, Baltimore, MD, June 1994.
- R.
Kumar and M. A. Shayman. "Non-blocking Supervisory Control of
Nondeterministic Discrete Event Systems".
1994 American Control Conference, pages 1089-1093, Baltimore, MD, June
1994.
- M.
A. Shayman and R. Kumar. "Supervisory Control of Nondeterministic Discrete
Event Dynamical Systems". 1993
IEEE Conference on Decision and Control, pages 1188-1193, San Antonio,
TX, December 1993.
- R.
Kumar and M. A. Shayman. "Non-blocking Control of Nondeterministic
Systems". 1993 Annual Allerton Conference, pages 707-716, Urbana, IL,
October 1993.
- R.
Kumar, V. K. Garg, and S. I. Marcus. "Logical Design of a Dispatching Unit".
1993 American Control Conference, pages 1198-1202, San Francisco, CA,
July 1993.
- R.
Kumar. "Formulas
for Observability of Discrete Event
Dynamical Systems". 1993 Conference on
Information Sciences and Systems, pages 581-586, Johns Hopkins
University, Baltimore, MD, March 1993.
- M.
A. Shayman and R. Kumar. "Supervisory Control of Nondeterministic
Systems". 1993 Conference on
Information Sciences and Systems, pages 587-592, Johns Hopkins
University, Baltimore, MD, March 1993.
- R.
Kumar and L. E. Holloway. "Supervisory Control of Petri Net
Languages". 1992 IEEE
Conference on Decision and Control, pages 1190-1195, Tucson, AZ,
December 1992.
- R.
Kumar and V. K. Garg. "A State-Variable Approach for Controlling
Discrete Event Systems with Infinite States".
1992 American Control Conference, 2809-2813, Chicago, IL, June 1992.
- R.
Kumar, V. K. Garg and S. I. Marcus. "Using Predicate Transformers for Su- pervisory Control".
1991 IEEE Conference on Decision and Control, pages 98-103, Brighton,
UK, December 1991.
- R.
Kumar and V. K. Garg. "Optimal Control of Discrete Event Dynamical
Systems using Network Flow Techniques".
1991 Allerton Conference on Communication,
Control, and Computing, pages 705-714, Urbana, IL, October 1991.
- R.
Kumar, V. K. Garg, and S. I. Marcus. "Stability of Discrete Event System
Behavior". 1991 IFAC Symposium
on Distributed Intelligent Systems, pages 13-18, Arlington, VA, August
1991.
- R.
Kumar, V. K. Garg, and S. I. Marcus. "On-Controllability and -Normality of DEDS".
1991 American Control Conference, pages 2905-2910, Boston, MA, June
1991.
- R.
Kumar, V. K. Garg, and S. I. Marcus. "Supervisory Control of Discrete Event Systems: Supremal Controllable and Observable
Languages". 1989 Allerton Conference on Communication, Control, and
Computing, pages 501-510, September 1989.
Return to Top
C.
Book Articles
- T.
Fuhrman, M. Osella and S. Jiang (GM); W.
Milam and D. Watson (Ford); R. Hormel (Chrysler); P. Koopman and J. Black (CMU); B. Williams, P.
Robertson and C. Wilcox (MIT); R. Kumar and C. Zhou (ISU); "Fault Tolerant Embedded Software",
Final Report of USCAR Electrical Architecture Task Force, Jan. 2010.
- J.
McCalley, R. Kumar, V. Ajjrapu,
O. Volij, H. Liu, L. Jin, W. Shang, "Models for Transmission Expansion Planning based
on Reconfigurable Capacitor Switching",
In Economic Market Design and Planning for Electric Power Systems,
Editors J. Momoh and L. Milli,
IEEE Press (Publisher: John Wiley and Sons, Inc.), 2009.
- A.
Arapostathis, R. Kumar, and S. Tangirala. "Safety Control of Completely Observed Markov
Chains". 5th Workshop on
Discrete Event Systems, Ghent, Belgium, August 2000.
- R.
Kumar and V. K. Garg. "Control of Stochastic Discrete Event Systems:
Existence". 1998 International
Workshop on Discrete Event Systems, pages 24-29, Cagliari, Italy,
August 1998.
- R.
Kumar and M. A. Shayman. "Supervisory Control of Real-Time Systems Using
Prioritized Synchronization".
In R. Alur, T. Henzinger,
and E. Sontag, editors. Hybrid Systems III, Verification and Control,
LNCS 1066, pages 350-361, Springer-Verlag,
1996.
- R.
Kumar, S. Nelvagal, and S. I. Marcus. "Design of Protocol Conversion: A Discrete Event
Systems Approach". 1996 International
Workshop on Discrete Event Systems, pages 7-12, Edinburgh, UK, August
1996.
- R.
Kumar and Haomin Li. "Optimizing Assembly Time for PCB Assembly".
In H. R. Pasaei and T. R. Hanley, editors.
Manufacturing Decision and Support Systems, Chapter 11, Chapman and
Hall, 1996.
- R.
Kumar and M. A. Shayman. "Avoiding Blocking in Prioritized Synchronization
Based Control of Nondeterministic Systems".
In G. Cohen and J.-P. Quadrat, editors. 11th International Conference
on Analysis and Optimization of Systems: Discrete Event Systems, LNCIS
199, pages 49-58, Springer-Verlag, 1994.
- R.
Kumar, V. K. Garg, and S. I. Marcus. "Stable Behavior and Stabilizing Supervisor for
Discrete Event Dynamical Systems".
In S. M. Joshi and A. V. Balakrishna,
editors. Mathematical Theory of Control, pages 185-203, Marcer Dakker, New York,
1992.
Return to Top
D. Thesis/Dissertation
- R.
Kumar. "Supervisory
Synthesis Techniques for Discrete Event Dynamical Systems".
Ph.D. Dissertation, University of Texas at Austin, August 1991.
- R.
Kumar and R. Guruprasadh. "Robotics Arm Control Using 68000 Microprocessor System".
Bachelors Project Report, Department of Electrical Engineering, Indian
Institute of Technology Kanpur, India, April 1987.
Return to Top
|
|