- A Behavior-Based Intelligent Control Architecture with Application to Coordination of Mutiple Underwater
- Control of Stochastic Discrete Event Systems Modeled by Probabilistic Languages 1
- On Supervisory Control of Sequential Behaviors Ratnesh Kumar
- EE576: Digital Control http://www.eng.iastate.edu/rkumar/EE576
- Non-blocking Supervisory Control of Nondeterministic Systems via Prioritized Synchronization 1
- Decentralized Control of Discrete Event Systems with Multiple Local Specializations 1
- Control of Nondeterministic Discrete Event Systems for Simulation Equivalence
- A Probabilistic Language Formalism for Stochastic Discrete Event Systems 1 2
- DECENTRALIZED DIAGNOSIS OF EVENT-DRIVEN SYSTEMS FOR SAFELY
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation 1 2
- On Non-Stationary Policies and Maximal Invariant Safe Sets of Controlled Markov Chains
- Power System Transient Stability Design using Reachability based Stability-Region Computation
- IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, VOL. XX, NO. Y, MONTH 2001 1 A Discrete Event Systems Modeling Formalism
- Abstract--We present a hybrid, hierarchical architecture for mission control of autonomous underwater vehicles (AUVs).
- Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control 1
- On Controllability and Normality of Discrete Event Dynamical Systems
- FORMULAS FOR CALCULATING SUPREMAL CONTROLLABLE AND NORMAL SUBLANGUAGES 1
- Decentralized Control of Discrete Event Systems Using Prioritized Composition with Exclusion
- Decentralized Control of Discrete Event Systems with Specializations to Local Control and Concurrent
- Formulae Relating Controllability, Observability, and Co-Observability
- Extension based Limited Lookahead Supervision of Discrete Event Systems
- Language Stability and Stabilizability of Discrete Event Dynamical Systems 1
- Optimal Supervisory Control of Discrete Event Dynamical Systems 1,2
- Supervisory Control of Deterministic Petri Nets with Regular Specification Languages
- A Bottom-Up Approach to Verification of Hybrid Model-Based Hierarchical Controllers with application to Underwater Vehicles
- A Discrete Event Systems Approach for Protocol Conversion
- Accepted, IEEE Transactions on Automatic Control, Appeared 2004ACC Polynomial Synthesis of Supervisor for Partially
- Supervisory Control of Nondeterministic Discrete Event Systems with Driven Events via Masked Prioritized
- SIAM J. CONTROL OPTIM. c 2006 Society for Industrial and Applied Mathematics Vol. 44, No. 6, pp. 20792103
- Bisimilarity Control of Partially Observed Deterministic Systems with Application to Nonblocking
- A Small Model Theorem for Bisimilarity Control under Partial Observation
- Control of Nondeterministic Discrete Event Systems for Bisimulation Equivalence
- Quotient-based Approach to Control of Nondeterministic Discrete-Event Systems with -Calculus Specification
- Diagnosis of Discrete-Event Systems in Rules-based Model using First-order Linear Temporal Logic
- Failure Diagnosis of Discrete Event Systems With Linear-Time Temporal Logic Specifications
- Diagnosis of Repeated/Intermittent Failures in Discrete Event Systems
- A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems
- A New Protocol for Distributed Diagnosis Wenbin Qiu (qiuw@corning.com), Corning Incorporated, Corning, NY 14831
- Decidability of Distributed Diagnosis under Unbounded-Delay Communication
- IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS --PART A: SYSTEMS AND HUMANS, VOL. , NO. , 2005 1 Decentralized Failure Diagnosis
- Hybrid Automata Model of Manufacturing Systems and its Optimal Control Subject to Logical
- On Optimal Control of Markov Chains with Safety Constraint Shun-Pin Hsu Ari Arapostathis Ratnesh Kumar
- On Asymmetric TSP: Transformation to Symmetric TSP and Performance Bound
- EE324 Signals and Systems II Fall 2009 http://www.ece.iastate.edu/rkumar/EE324
- EE442-448: Intro to Circuits/Instruments/AC-Circuits/Motors http://www.eng.iastate.edu/rkumar/EE442-448
- EE 442 Laboratory Preface Laboratory Introduction
- EE 442-448 Lab Announcements I. Pre-lab Worksheet
- Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and
- Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete Event Systems
- A Event Occurrence Rules based Compact Modeling Formalism for a class of Discrete Event Systems
- EE 448 Laboratory Preface Laboratory Introduction
- Prioritized Synchronization under Mask for Interaction/Control of Partially Observed Discrete
- Rules-based Modeling of an Assembly Line and its Vigyan Chandra
- Automated Control Synthesis for an Assembly Line using Discrete Event System Control Theory
- Finite Buffer Realization of Input-Output Discrete Event Systems 1 ,2
- Characterization of Co-observable Languages and Formulae for their Super/Sub-Languages
- On Computation of State Avoidance Control for Infinite State Systems in Assignment Program Framework ,
- Maximally Permissive Mutually & Globally Nonblocking Supervision with Application to Switching Control
- Distributed Diagnosis Under Bounded-Delay Communication of Immediately Forwarded Local
- Control of Markov Chains with Safety Bounds (Paper No. V2004-003/V2003-107)
- Computation of Diagnosable Fault-Occurrene Indices for Systems with Repeatable-Faults
- Abstract--The paper describes a hierarchical architecture in which mission level controllers based on hybrid systems theory
- CprE310 Discrete Math CprE310 http://www.ece.iastate.edu/rkumar/CprE310
- Mathematical Modelling of Systems 1381-2424/96/0201-00$12.00 1996, Vol. 1, No. 1, pp. 000111 c Swets & Zeitlinger
- Diagnosis of Dense-Time Systems using Digital-Clocks Shengbing Jiang
- Coal Segregation Control for Meeting Homogeneity Z. Huang, R. Kumar J. Yingling, J. Sottile
- Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems 1
- Mathematical Modelling of Systems 1381-2424/96/0201-00$12.00 1996, Vol. 1, No. 1, pp. 000111 c Swets & Zeitlinger
- Optimizing the Operation Sequence of a Chip Placement Machine Using TSP Model
- Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control
- Nonblocking Directed Control of Discrete Event Systems Jing Huang and Ratnesh Kumar
- Corrections to "Finite Buffer Realization of Input-Output Discrete Event Systems"
- Controlled Markov Chains with Safety Upper Bound Aristotle Arapostathis
- Diagnosis of Repeated Failures For Discrete Event Systems With Linear-Time Temporal Logic
- Mutually Nonblocking Supervisory Control of Discrete Event Systems
- Supervisory Control of Real-Time Systems Using Prioritized Synchronization
- Masked Prioritized Synchronization for Interaction and Control of Discrete Event Systems
- Process Objects/Masked Composition: An Object Oriented Approach for Modeling and Control of Discrete Event Systems
- Directed Control of Discrete Event Systems: Optimization Based Approach
- Optimal Sensor Selection for Discrete Event Systems with Partial Observation 1
- Coordinated Dynamic Voltage Stabilization based on Model Predictive Control
- International Journal of Innovative Computing, Information and Control ICIC International c 2010 ISSN 1349-4198
- SICE Annual Conference 2007 Sept. 17-20, 2007, Kagawa University, Japan
- On Controllability and Normality of Discrete Event Dynamical Systems
- Hybrid Automata Model of Manufacturing Systems and its Optimal Control Subject to Logical
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 53, NO. 4, APRIL 2008 1 Synthesis of Inference-Based Decentralized Control
- A PROTOCOL FOR DISTRIBUTED STATE ESTIMATION IN DISCRETE EVENT
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. XX, NO. X, XXX 2009 1 Decentralized Prognosis of Failures in Discrete
- Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures
- Decentralized Modular Diagnosis of Concurrent Discrete Event Systems C. Zhou , Member IEEE, R. Kumar , Fellow IEEE, and R. S. Sreenivas , Member IEEE
- An ASABE Meeting Presentation Paper Number: 08
- Verification and Synthesis for Secrecy in Discrete-Event Systems Shigemasa Takai, Member IEEE Ratnesh Kumar, Fellow IEEE
- Bisimilarity Enforcement for Discrete Event Systems using Deterministic Control
- Model-based Test Generation for Simulink/Stateflow Meng Li and Ratnesh Kumar, ECE, Iowa State Univ. (mengl,rkumar@iastate.edu)
- Local and On-the-fly Choreography-based Web Service Composition Saayan Mitra1
- Quotient-based Control Synthesis for Partially Observed Non-Deterministic Plants with Mu-Calculus Specifications
- Nonblocking and Safe Control of Discrete Event Systems modeled as Extended Finite Automata
- IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, VOL. XX, NO. X, XXX 2009 1 Decentralized Control of Discrete Event Systems
- Optimal Supervisory Control of Discrete Event Dynamical Systems 1,2
- Computation of Diagnosable Fault-Occurrence Indices for Systems with Repeatable Faults
- Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems
- Maximally Permissive Mutually and Globally Nonblocking Supervision with Application to Switching Control
- Security Constrained Coordinated Dynamic Voltage Stabilization based on Model Predictive Control
- Discrete Event Control under Nondeterministic Partial Observation S. Xu, Member IEEE, and R. Kumar, Fellow IEEE
- Optimum Decentralized Choreography for Web Services Composition Saayan Mitra
- Hierarchical Fault Detection in Embedded Control Software C. Zhou and R. Kumar
- Stateflow to Extended Finite Automata Translation Meng Li and Ratnesh Kumar
- Exact Response Time of FlexRay Communication Protocol Lucien Ouedraogo and Ratnesh Kumar
- Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications
- Polynomial Synthesis of Supervisor for Partially Observed Discrete Event Systems by allowing
- IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. XX, NO. X, XXX 2010 1 Inference-Based Decentralized Prognosis in Discrete
- A Framework for Optimal Decentralized Service-Choreography Saayan Mitra1
- Model Predictive Control based Real Time Power System Protection Schemes
- Author's personal copy Reachability analysis based transient stability design in power systems
- Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems 1
- Performance Modeling and Simulation Studies of MAC Protocols in Sensor Network Performance
- Abstract--This paper proposes an optimization based method of planning reactive power control for electric transmission
- Asian Journal of Control, Vol. 00, No. 0, pp. 19, Month 0000 Published online in Wiley InterScience (www.interscience.wiley.com) DOI: 10.1002/asjc.0000
- Analysis of Runtime Data-Log for Software Fault Localization Changyan Zhou, Ratnesh Kumar, and Shengbing Jiang
- Decentralized Control of Discrete Event Systems Using Prioritized Composition with Exclusion
- Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
- Optimal Control of Coal Segregation using On-line Analyzers R. Ganguli, J. C. Yingling, J. Sottile, Dept. of Mining Eng.
- Automated Control Synthesis for an Assembly Line using Discrete Event System Control Theory
- A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules
- Distributed State Estimation in Discrete Event Systems S. Xu, Member IEEE and R. Kumar, Fellow IEEE
- Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete Event Systems
- Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network
- Automated Coordinator Synthesis for Mission Control of Autonomous Underwater Vehicles
- Noname manuscript No. (will be inserted by the editor)
- Qualitative diagnosis of condition systems for multiple subsystem failures. Jeffrey Ashley
- A Framework for Fault-Tolerant Control of Discrete Event Systems
- IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS--PART A: SYSTEMS AND HUMANS, VOL. XX, NO. X, XXX 2009 1 Decentralized Diagnosis for Nonfailures of Discrete Event
- Diagnosis of Dense-Time Systems under Event and Timing Masks
- Diagnosis of Discrete Event Systems in Rules-based Model using First-order Linear
- Integer Programming Approach to Printed Circuit Board Assembly Time Optimization
- An MILP Formulation for Load-Side Demand Control Zhonghui Luo, Ratnesh Kumar*
- DECADA: Tool for Discrete-Event Control and Diagnosis Analysis G. Stamp, R. Kumar, Y. Ong, and C. Zhou
- A Simulation Condition for Correct Asynchronous Implementation of Synchronous Design
- Distributed Prognosis of Discrete Event Systems under Bounded-Delay Communications
- Optimal Nonblocking Directed Control of Discrete Event Systems Jing Huang, Student Member, IEEE and Ratnesh Kumar, Fellow, IEEE
- An Energy-efficient Wireless Sensor Network for Precision Agriculture
- Asynchronous Implementation of Synchronous Discrete Event Control S. Xu, Member IEEE and R. Kumar, Fellow IEEE
- Safety and Transition-Structure Preserving Abstraction of Hybrid Systems with Inputs/Outputs
- Prevention of Sequential Message Loss in CAN Systems Shengbing Jiang
- Synthesis of Optimal Fault-Tolerant Supervisor for Discrete Event Systems Q. Wen, Member IEEE, R. Kumar, Fellow, IEEE, J. Huang, Member IEEE
- Abstract--The paper describes a hierarchical architecture in which mission level controllers based on hybrid systems theory
- Real-Time Control of Dense-Time Systems using Digital-Clocks
- Decentralized Modular Control of Concurrent Discrete Event Systems
- WIRELESS COMMUNICATIONS AND MOBILE COMPUTING Wirel. Commun. Mob. Comput. 2011; 11:16281645
