A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis | IEEE Transactions on Automation Science and Engineering | 2010 | 114 |
Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach | IEEE Transactions on Automation Science and Engineering | 2010 | 78 |
Software-Defined Radio Equipped With Rapid Modulation Recognition | IEEE Transactions on Vehicular Technology | 2010 | 75 |
Liveness of an extended S3PR | Automatica | 2010 | 69 |
Two Simple Deadlock Prevention Policies for ${\rm S}^{3}{\rm PR}$ Based on Key-Resource/Operation-Place Pairs | IEEE Transactions on Automation Science and Engineering | 2010 | 54 |
Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets | IEEE Transactions on Automation Science and Engineering | 2010 | 51 |
Colored timed Petri nets for modeling and analysis of cluser tools | Asian Journal of Control | 2010 | 51 |
Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets | IEEE Transactions on Automation Science and Engineering | 2010 | 47 |
Polar dependence of impurity incorporation and yellow luminescence in GaN films grown by metal-organic chemical vapor deposition | Journal of Crystal Growth | 2010 | 47 |
Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery | IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews | 2010 | 42 |
Process vs resource-oriented Petri net modeling of automated manufacturing systems | Asian Journal of Control | 2010 | 42 |
Global Asymptotic Saturated PID Control for Robot Manipulators | IEEE Transactions on Control Systems Technology | 2010 | 34 |
Self-liveness of a class of Petri net models for flexible manufacturing systems | IET Control Theory and Applications | 2010 | 27 |
New controllability condition for siphons in a class of generalised Petri nets | IET Control Theory and Applications | 2010 | 26 |
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming | International Journal of Systems Science | 2010 | 25 |
General mixed integer programming-based liveness test for system of sequential systems with shared resources nets | IET Control Theory and Applications | 2010 | 22 |
Tank cycling and scheduling analysis of high fusion point oil transportation for crude oil operations in refinery | Computers and Chemical Engineering | 2010 | 21 |
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons | Journal of Intelligent Manufacturing | 2010 | 20 |
Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming | International Journal of Control | 2010 | 16 |
A deadlock prevention approach for a class of timed Petri nets using elementary siphons | Asian Journal of Control | 2010 | 14 |
Global asymptotic tracking of robot manipulators with a simple decentralised non-linear PD-like controller | IET Control Theory and Applications | 2010 | 13 |
A Novel Magnetic Actuated Bistable Acceleration Switch With Low Contact Resistance | IEEE Sensors Journal | 2010 | 12 |
Design of liveness-enforcing supervisors via transforming plant petri net models of FMS | Asian Journal of Control | 2010 | 10 |
An experimental study of interference impacts on ZigBee-based wireless communication inside buildings | | 2010 | 9 |