Weimin Wu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Zero-Sequence Voltage Injection-Based Grid Impedance Estimation Method for Three-Phase Four-Wire DC/AC Grid-Connected Inverter.
IEEE Trans. Ind. Electron., 2024

DNABERT-S: Learning Species-Aware DNA Embedding with Genome Foundation Models.
CoRR, 2024

2023
Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions.
Int. J. Control, December, 2023

A Novel Simplified Finite Control Set Repeat Model Predictive Control for Grid-Connected Inverters.
IEEE Trans. Ind. Electron., November, 2023

Video object segmentation through semantic visual words matching.
Multim. Tools Appl., May, 2023

An adaptive phase-locked loop-less control strategy for LCL-filtered grid-connected inverter under complex grid conditions.
Int. J. Circuit Theory Appl., May, 2023

An ETCEN-Based Motion Coordination Strategy Avoiding Active and Passive Deadlocks for Multi-AGV System.
IEEE Trans Autom. Sci. Eng., April, 2023

A New Wave Energy Converter for Marine Data Buoy.
IEEE Trans. Ind. Electron., 2023

A novel motion coordination method for variable-sized multi-mobile robots.
Frontiers Inf. Technol. Electron. Eng., 2023

A manifold learning-based CSI feedback framework for FDD massive MIMO.
CoRR, 2023

Topology and Operation Analysis of Hybrid DC/DC Converters with Bidirectional Asymmetric Power Flow.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Hybrid DC Solid-State Transformer with Bidirectional Asymmetric Power Flow for Low-Penetration Renewable Energy Systems.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Analysis and Suppression of Circulating Current in DC/DC Converters with Bidirectional Asymmetric Power Flow.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Analysis and Optimization of a Novel Flux Modulation Linear Permanent Magnet Generator for Wave Energy Converter.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

A Single-Source-Based Non-Isolated Micro-Inverter with Active Power Decoupling.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

A New AC/DC Converter with Controllable Short-Circuit Current for DC Microgrid.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

2022
A New Unbalanced Voltage Compensation Method Based on HOPF Oscillator for Three-Phase DC/AC Inverters With Unbalanced Loads.
IEEE Trans. Smart Grid, 2022

Autoidentification Method of the "Trouble Maker(s)" for Internal Instability in Multiparalleled Inverters System.
IEEE Trans. Ind. Electron., 2022

A New Type of Three-Phase Asymmetric-LCL Power Filter for Grid-Tied Voltage Source Inverter With Step-Up Transformer.
IEEE Trans. Ind. Electron., 2022

A Novel Multi-AGV Coordination Strategy Based on the Combination of Nodes and Grids.
IEEE Robotics Autom. Lett., 2022

Collision and Deadlock Avoidance in Multi-Robot Systems Based on Glued Nodes.
IEEE CAA J. Autom. Sinica, 2022

A New Kalman-Filter-Based Harmonic Current Suppression Method for the Virtual Oscillator Controlled Grid-Tied Inverter.
IEEE J. Emerg. Sel. Topics Circuits Syst., 2022

Instance-aware Model Ensemble With Distillation For Unsupervised Domain Adaptation.
CoRR, 2022

An Improved Three-Level Cascaded Control for LCL-Filtered Grid-Connected Inverter in Complex Grid Impedance Condition.
IEEE Access, 2022

Optimized Series Dynamic Braking Resistor for LVRT of Doubly-Fed Induction Generator With Uncertain Fault Scenarios.
IEEE Access, 2022

Design optimization of Aalborg-type transformerless PV inverters with focus on power quality.
Proceedings of the 11th International Conference on Modern Circuits and Systems Technologies, 2022

An Improved DBC-MPC Strategy for LCL-Filtered Grid-connected Inverters.
Proceedings of the IECON 2022, 2022

Topology and Operation Analysis of Isolated DC/DC Converters with Bidirectional Asymmetric Power Flow.
Proceedings of the IECON 2022, 2022

A New Control Strategy with Simplified Model and Kalman Filter Estimator for Grid-Tied Inverter with Asymmetric LCL Filter.
Proceedings of the IECON 2022, 2022

Multi-Objective fuzzy flexible jobshop of dynamic scheduling optimization based on hybrid-nondominanted sorting algorithm.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Research on real-time export container allocation considering loading efficiency.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Research on cooperative scheduling of AGV transportation and charging in intelligent warehouse system based on dynamic task chain.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Trajectory Tracking Control for Autonomous Parking Based on Adaptive Reduced-horizon Model Predictive Control.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

2021
A Simplified Finite Control Set Model Predictive Control for T-Type Three-Level Power Conversion System Based on LCL Filter.
J. Control. Sci. Eng., 2021

Time Reverse Equalization Algorithm for 16 QAM Coherent Optical Communication Systems.
IEEE Access, 2021

Fault Diagnosis and Reconfiguration for H6 Grid-Tied Inverter Using Kalman Filter.
Proceedings of the IECON 2021, 2021

Design and Experiment of a New Wave Power Conversion Device for Self-Powered Sensor Buoy.
Proceedings of the IECON 2021, 2021

Design of IDA-PBC Controller for LCL-Filtered Grid-Connected Inverter.
Proceedings of the IECON 2021, 2021

A Collision Avoidance Algorithm for Idle Robots in Multi-robot System.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

Battery Charge Dispatching in Multi-robot Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Decision-support Framework for Port Container Stowage Plan.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Hybrid Algorithm to Solve Periodic Vehicle Dispatching Problem with Heterogeneous Vehicles in Logistics Transportation.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

Research on Coupled Task Allocation and Scheduling of Multi-type Robots.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Real Time Vehicle Scheduling Strategy in Container Terminals.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A new flexible multi-AGVs scheduling model with pre-waiting time in an intelligent manufacturing system.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A novel hierarchical charging algorithm for the AGV dispatching problem in a multi-robot system.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Dynamic Joint Real-time Scheduling Strategy of Truck and Yard Crane in Container Terminals.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

Research on Container Slot Planning for Coordinated Operation of Quay Cranes and Yard Cranes.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Conflict-Reducing Path Planning Algorithm in Automated Warehouses.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Novel Searching Method of Fringe Blocks for AGV Deadlock Avoidance.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Two-Stage Congestion-Aware Routing Method for Automated Guided Vehicles in Warehouses.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

2020
Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems.
IEEE Trans. Intell. Transp. Syst., 2020

Integrated Motion and Powertrain Predictive Control of Intelligent Fuel Cell/Battery Hybrid Vehicles.
IEEE Trans. Ind. Informatics, 2020

Finite Control Set Model Predictive Control for LCL-Filtered Grid-Tied Inverter With Minimum Sensors.
IEEE Trans. Ind. Electron., 2020

Structural Controller for Logical Expression of Linear Constraints on Petri Nets.
IEEE Trans. Autom. Control., 2020

Expression of quasi-equivalence and capsid dimorphism in the Hepadnaviridae.
PLoS Comput. Biol., 2020

An Optimized Parameter Design Method for Passivity-Based Control in a LCL-Filtered Grid-Connected Inverter.
IEEE Access, 2020

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2020

Multi-robot Path Planning Using Petri Nets.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

Deep Reinforcement Learning for Solving AGVs Routing Problem.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

A Novel Single-Helix Magnetic Lead Screw for Wave Energy Converter.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

A Novel State-Observer-Based PBC Controller for LCL-Filtered Grid-Tied Inverter with Less Sensors and Zero Steady-State Error.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

A Novel Third-Harmonic Elimination Method for VOC-Based Three-Phase DC/AC Inverter.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Using Kalman Filter to Achieve Online Estimation of Equivalent Grid Impedance and High Bandwidth Control for LCL-Filtered Grid-tied Inverters.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

2019
Divided DQ Small-Signal Model: A New Perspective for the Stability Analysis of Three-Phase Grid-Tied Inverters.
IEEE Trans. Ind. Electron., 2019

Saliency prediction by Mahalanobis distance of topological feature on deep color components.
J. Vis. Commun. Image Represent., 2019

A survey of model predictive control methods for traffic signal control.
IEEE CAA J. Autom. Sinica, 2019

Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions.
IEEE Access, 2019

Disturbance Observer-Based Adaptive Current Control With Self-Learning Ability to Improve the Grid-Injected Current for $LCL$ -Filtered Grid-Connected Inverter.
IEEE Access, 2019

Low-Cost Navigation based on Reinforcement Learning for Autonomous Vehicles.
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

Design and Experiment of an Indirect Wave Power Generation Device using Magnetic Lead Screw.
Proceedings of the IECON 2019, 2019

Eco-driving of electric vehicles with integrated motion and battery dynamics.
Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

Saliency Detection via Topological Feature Modulated Deep Learning.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

2018
A Balunless Frequency Multiplier With Differential Output by Current Flow Manipulation.
IEEE Trans. Very Large Scale Integr. Syst., 2018

New Technique Trends for Power Converters in Distributed Power Generation Systems: Part II.
IEEE Trans. Ind. Electron., 2018

Coupled-Inductor-Based Aalborg Inverter With Input DC Energy Regulation.
IEEE Trans. Ind. Electron., 2018

A Modified Multifrequency Passivity-Based Control for Shunt Active Power Filter With Model-Parameter-Adaptive Capability.
IEEE Trans. Ind. Electron., 2018

Salient object detection via spectral graph weighted low rank matrix recovery.
J. Vis. Commun. Image Represent., 2018

Resource failure and buffer space allocation control for automated manufacturing systems.
Inf. Sci., 2018

Polynomial-complexity supervisory control for flexible assembly systems based on Petri nets.
Int. J. Comput. Integr. Manuf., 2018

Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs.
IEEE Access, 2018

Scribble-Supervised Segmentation of Aerial Building Footprints Using Adversarial Learning.
IEEE Access, 2018

Non-Orthogonal Training Sequence Design in Two-Cell Interference Networks Based on an Extended Welch Bound.
Proceedings of the 2018 IEEE International Symposium on Information Theory, 2018

2017
A Dual-Buck-Boost AC/DC Converter for DC Nanogrid With Three Terminal Outputs.
IEEE Trans. Ind. Electron., 2017

Damping Methods for Resonances Caused by LCL-Filter-Based Current-Controlled Grid-Tied Power Inverters: An Overview.
IEEE Trans. Ind. Electron., 2017

New Technique Trends for Power Converters in Distributed Power Generation Systems - Part I.
IEEE Trans. Ind. Electron., 2017

Kinship verification in multi-linear coherent spaces.
Multim. Tools Appl., 2017

Updating initial labels from spectral graph by manifold regularization for saliency detection.
Neurocomputing, 2017

CoolConferencing: Enabling Robust Peer-to-Peer Multi-Party Video Conferencing.
IEEE Access, 2017

A cross - layer optimization of video transmission based on packet loss rate in 802.11e wireless networks.
Proceedings of the International Conference on Web Intelligence, 2017

Coordinated DPC-Based Precoding Design for Energy Efficiency Optimization in Downlink Multi-Cell MIMO Systems.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017

Subtitle positioning for e-learning videos based on rough gaze estimation and saliency detection.
Proceedings of the SIGGRAPH Asia 2017 Posters, Bangkok, Thailand, November 27 - 30, 2017, 2017

Single-stage MPPT control realization for Aalborg inverter in photovoltaic system.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Scheduling FMSs based on a hybrid Petri net framework.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Petri net based software testing scheduling and selecting.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Convolutional Neural Networks Based Multi-task Deep Learning for Movie Review Classification.
Proceedings of the 2017 IEEE International Conference on Data Science and Advanced Analytics, 2017

2016
A Hierarchical Model Predictive Control Approach for Signal Splits Optimization in Large-Scale Urban Road Networks.
IEEE Trans. Intell. Transp. Syst., 2016

An Efficient and Robust Hybrid Damper for LCL- or LLCL-Based Grid-Tied Inverter With Strong Grid-Side Harmonic Voltage Effect Rejection.
IEEE Trans. Ind. Electron., 2016

EFI OS Loader安全加固技术的研究与实现 (Research and Implementation of EFI OS Loader Security Reinforcement Technology).
计算机科学, 2016

Device-to-Device assisted user clustering for Multiple Access in MIMO WLANl.
KSII Trans. Internet Inf. Syst., 2016

Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources.
Inf. Sci., 2016

A polynomial complexity deadlock avoidance method for a class of flexible manufacturing systems.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Investigation of mobile surroundings for visual attention based on image perception model.
Proceedings of the 2016 Visual Communications and Image Processing, 2016

Based on simulation method for solving traffic jam problems.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Fault diagnosis based on the structure information of partially observed Petri nets.
Proceedings of the IEEE International Conference on Information and Automation, 2016

Reconstruction of unknown Petri net structures from asynchronous observations of token change sequences.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2015

A Two-Way Arterial Signal Coordination Method With Queueing Process Considered.
IEEE Trans. Intell. Transp. Syst., 2015

A Simple Differential Mode EMI Suppressor for the LLCL-Filter-Based Single-Phase Grid-Tied Transformerless Inverter.
IEEE Trans. Ind. Electron., 2015

Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis.
IEEE Trans. Autom. Control., 2015

一种基于混沌不透明谓词的压扁控制流算法 (Chaotic-based Opaque Predicate Control Flow Flatten Algorithm).
计算机科学, 2015

Scheduling FMS problems with heuristic search function and transition-timed Petri nets.
J. Intell. Manuf., 2015

Sparsity-aware, channel order-blind pilot placement with channel estimation in orthogonal frequency division multiplexing systems.
IET Commun., 2015

Sparse K-best detector for generalised space shift keying in large-scale multiple-input-multiple-output systems.
IET Commun., 2015

Sparsity-Boosted Detection for Large MIMO Systems.
IEEE Commun. Lett., 2015

Optimal bandwidth allocation for hybrid Video-on-Demand streaming with a distributed max flow algorithm.
Comput. Networks, 2015

Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources.
Comput. Ind. Eng., 2015

Modeling and simulation of rumor propagation in social networks based on Petri net theory.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

Optimal monitor-based supervisor sythesis for a class of Petri nets with unobservable transitions.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

Deadlock control policy for a class of automated manufacturing systems with key resources.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

A genetic algorithm to solve the container's location allocation problem in rear storage yard.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

2014
A New $LCL$-Filter With In-Series Parallel Resonant Circuit for Single-Phase Grid-Tied Inverter.
IEEE Trans. Ind. Electron., 2014

News videos anchor person detection by shot clustering.
Neurocomputing, 2014

The Impact of Speed on the Convergence of Gossip Algorithms with Mobility in Wireless Sensor Networks.
IEEE Commun. Lett., 2014

M2M access performance in LTE-A system.
Trans. Emerg. Telecommun. Technol., 2014

Shadow VoD: Performance Evaluation as a Capability in Production P2P-CDN Hybrid VoD Networks.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Parameter-Free Inter-view Depth Propagation for Mobile Free-View Video.
Proceedings of the MultiMedia Modeling - 20th Anniversary International Conference, 2014

A green wave band based method for urban arterial signal control.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Performance analysis of scheduling rules in remanufacturing operations using stochastic Petri nets.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

An efficient deadlock prevention policy based on selective transition covers for flexible manufacturing systems.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Heuristic search and concurrency strategy based on Petri net for FMS scheduling.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2013
A New Design Method for the Passive Damped LCL and LLCL Filter-Based Single-Phase Grid-Tied Inverter.
IEEE Trans. Ind. Electron., 2013

Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets.
ACM Trans. Embed. Comput. Syst., 2013

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.
J. Appl. Math., 2013

Multimedia contents dissemination with gossip algorithms in distributed social networks.
Proceedings of the International Conference on Internet Multimedia Computing and Service, 2013

Joint Eviction and Admission Control for cognitive radio networks.
Proceedings of the 15th IEEE International Conference on Communication Technology, 2013

A signal split optimization approach based on model predictive control for large-scale urban traffic networks.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Supply Chain Uncertainty Under ARIMA Demand Process.
Proceedings of the Business Process Management Workshops, 2013

A Petri Net Approach for Green Supply Chain Network Modeling and Performance Analysis.
Proceedings of the Business Process Management Workshops, 2013

2012
Petri nets model of emergency control system for shipping.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

Hysteretic optimization for the capacitated vehicle routing problem.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

Petri net modeling of information flow in the online train ticket booking system.
Proceedings of the 2012 IEEE International Conference on Automation and Logistics, 2012

A remote sensing map based solution to path planning problem.
Proceedings of the 2012 IEEE International Conference on Automation and Logistics, 2012

2010
Statistical Modeling With the PSP MOSFET Model.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Convolution calculation of differential cross sections of ring effect.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010

2009
Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2009

The New CMC Standard Compact MOS Model PSP: Advantages for RF Applications.
IEEE J. Solid State Circuits, 2009

Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems.
Proceedings of the IEEE International Conference on Systems, 2009

Retreival of Tropospheric Nitrogen Dioxide Vertical Column Density during the 2008 Summer Olympic Games in Beijing.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

AnyviewC: A Visual Practice Platform for Data Structures Course.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

ASIG: An all-solution SAT solver for CNF formulas.
Proceedings of the 11th International Conference on Computer-Aided Design and Computer Graphics, 2009

2008
USAT: An Integrated Platform for Satisfiability Solving and Model Checking.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Transformation-based assessment for C programs.
Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007

EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.
Proceedings of the 44th Design Automation Conference, 2007

PSP-SOI: A Surface Potential Based Compact Model of Partially Depleted SOI MOSFETs.
Proceedings of the IEEE 2007 Custom Integrated Circuits Conference, 2007

PSP-Based Scalable MOS Varactor Model.
Proceedings of the IEEE 2007 Custom Integrated Circuits Conference, 2007

Array Modeling in Java Virtual Machine.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
Comments on "A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Part B, 2006

A novel collaborative scheme of simulation and model checking for system properties verification.
Comput. Ind., 2006

Variant Bayesian Networks.
Proceedings of the Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 2006

Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.
Proceedings of the Computer Supported Cooperative Work in Design III, 2006

Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.
Proceedings of the 10th International Conference on CSCW in Design, 2006

Supervisor synthesis for a class of forbidden state problems in Petri nets.
Proceedings of the American Control Conference, 2006

Supervisor synthesis for enforcing GMECs on a controlled Petri net.
Proceedings of the American Control Conference, 2006

2005
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

SP-SOI: a third generation surface potential based compact SOI MOSFET Model.
Proceedings of the IEEE 2005 Custom Integrated Circuits Conference, 2005

Unified non-quasi-static MOSFET model for large-signal and small-signal simulations.
Proceedings of the IEEE 2005 Custom Integrated Circuits Conference, 2005

2004
An adaptive call admission policy for broadband wireless multimedia networks using stochastic control.
Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

State feedback based deadlock-free supervisor synthesis for bounded Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

QoS-guaranteed call admission scheme for broadband multiservices mobile wireless networks.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004

State Feedback Control of DES on the Finite Forbidden State Problem.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Model Optimization Techniques in a Verification Platform for Classified Properties.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

Advanced compact models: gateway to modern CMOS design.
Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Supervisor synthesis for bounded Petri nets based on a transformation function.
Proceedings of the 2004 American Control Conference, 2004

Optimal Stochastic Control for Multi-Services Call Admission in Mobile Wireless Networks.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003
FaSa: A Fast and Stable Quadratic Placement Algorithm.
J. Comput. Sci. Technol., 2003

On the enforcement of a class of constraint in Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Combining clustering and partitioning in quadratic placement.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Normalized cascade structures and state feedback control logic synthesis.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Property Classification for Functional Verification Based.
Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

Congestion driven incremental placement algorithm for standard cell layout.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

A path-based timing-driven quadratic placement algorithm.
Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

Petri net cascade decomposition for supervisory control.
Proceedings of the American Control Conference, 2003

2002
A multi-step standard-cell placement algorithm of optimizing timing and congestion behavior.
Sci. China Ser. F Inf. Sci., 2002

Supervisory Control of Discrete Event Systems using Enabling Arc Petri Nets.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

An extension of the linear integer program approach for controller synthesis of DES modeled by Petri nets.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Modeling and simulation of hybrid dynamical systems with generalized differential Petri nets.
Proceedings of the 2002 IEEE International Symposium on Intelligent Control, 2002

Colored Petri net control of OR-logic.
Proceedings of the 2002 IEEE International Symposium on Intelligent Control, 2002

2001
Supervisor design for a class of generalized Petri net with uncontrollable transitions.
Proceedings of the IEEE International Conference on Systems, 2001

Hierarchical control of DES based on colored Petri nets.
Proceedings of the IEEE International Conference on Systems, 2001

Petri Net Controller Synthesis for Discrete Event Systems Using Weighted Inhibitor Arc.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

A synthesis approach to Petri nets with combined place marking and transition firing constraint.
Proceedings of the 6th European Control Conference, 2001

A new congestion-driven placement algorithm based on cell inflation.
Proceedings of ASP-DAC 2001, 2001

2000
The stable orbit of the small satellite flying around the space station and the orbit maintenance.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000


  Loading...