Yi-Sheng Huang

IEEE Trans. Intell. Transp. Syst., 2020

2019

Supervisor Synthesis for FMS Based on Critical Activity Places.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2019

Eco-driving of electric vehicles with integrated motion and battery dynamics.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

Traffic incident message dissemination for reducing traffic congestion.

[BibT_eX]

[DOI]

Liang Qi

Wenjing Luan

Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

2017

Neighbor-aware distance estimated MAC protocol for multichannel cognitive radio ad hoc networks.

[BibT_eX]

[DOI]

Chien-Min Wu

Chih Pin Lo

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Schedulability analysis for dual-armed cluster tools with mixed-processing of multi-variety wafers.

[BibT_eX]

[DOI]

Chunrong Pan

Kun Zhao

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

Place invariant simplification in optimal supervisor synthesis for FMS.

[BibT_eX]

[DOI]

Bo Huang

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Based on simulation method for solving traffic jam problems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Analysis of urban traffic jam control strategies using simulation technology.

[BibT_eX]

[DOI]

Wei-Ping Huang

Wei-Pin Wu

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Scheduling and control of batch chemical processes with timed Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015

Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2015

Discrete-event controller synthesis based on state space models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2014

A green wave band based method for urban arterial signal control.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Modelling of traffic safety control systems using timed Petri nets.

[BibT_eX]

[DOI]

Chia-Che Ho

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2013

Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique.

[BibT_eX]

[DOI]

Pin-June Su

ACM Trans. Embed. Comput. Syst., 2013

Intelligent-controlled doubly fed induction generator system using PFNN.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2013

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Based on Synchronized Timed Petri Nets for Urban Traffic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Design of elevator control systems using statecharts.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

2012

Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2011

A simulation-based equipment environment for flexible manufacturing systems.

[BibT_eX]

[DOI]

Ho-Shan Chiang

Int. J. Simul. Process. Model., 2011

Modelling of emergency vehicle preemption systems using statecharts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2011

An efficient deadlock prevention policy for FMSs using reduction method and theory of regions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2011

Fault measure of discrete event systems using probabilistic timed automata.

[BibT_eX]

[DOI]

Ho-Shan Chiang

Proceedings of the IEEE International Conference on Systems, 2011

2010

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2010

Function-Based Controller for Linear Motor Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2010

An Improved Deadlock Prevention Strategy for FMSs Using Theory of Regions.

[BibT_eX]

[DOI]

Int. J. Adv. Comp. Techn., 2010

Enhancement of an deadlock prevention policy for FMSs using theory of regions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2010

Modeling and analysis of traffic light controller using Statechart.

[BibT_eX]

[DOI]

Shuo-Xian Liau

Proceedings of the IEEE International Conference on Systems, 2010

An improved deadlock prevention strategy for FMSs using theory of regions.

[BibT_eX]

[DOI]

Jenn-Huei Lin

Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

2009

Based on Direct Thrust Control for Linear Synchronous Motor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2009

An Enforcing Supervisor for Flexible Manufacturing Systems Using Theory of Regions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

2008

Modeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2008

Design of a controller for direct thrust control systems using fuzzy Petri nets.

[BibT_eX]

[DOI]

Wu-Shien Wen

Proceedings of the IEEE International Conference on Systems, 2008

Simulation of a robust fuzzy controller for linear synchronous motor systems.

[BibT_eX]

[DOI]

Yao-Teng Shih

Proceedings of the IEEE International Conference on Systems, 2008

2007

Deadlock Prevention for Sequence Resource Allocation Systems.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2007

Design of a Simulated Environment for Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

Pin-June Su

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

Design of a Supervisor for Traffic Light Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

A Supervisor of Traffic Light Systems Using Statecharts.

[BibT_eX]

[DOI]

Shung-Shing Lee

Yung-Kuer Liu

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

2006

Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2006

Design of Traffic Light Control Systems Using Statecharts.

[BibT_eX]

[DOI]

Comput. J., 2006

A New Modeling Methodology of Urban Traffic Lights Based on Timed Coloured Petri Nets.

[BibT_eX]

[DOI]

Ting-Hui Lin

Proceedings of the IEEE International Conference on Systems, 2006

2005

A siphon-based deadlock prevention policy for flexible manufacturing systems.

[BibT_eX]

[DOI]

Jenn-Huei Lin

Jyh-Tsong Lin

Proceedings of the IEEE International Conference on Systems, 2005

Modeling traffic signal control systems using timed colour Petri nets.

[BibT_eX]

[DOI]

Che-Ting Chen

Proceedings of the IEEE International Conference on Systems, 2005

2004

Comparison of deadlock prevention policies in FMS based on Petri nets siphons.

[BibT_eX]

[DOI]

Jenn-Huei Lin

Chien-Nin Hsu

Proceedings of the IEEE International Conference on Systems, 2004

Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets.

[BibT_eX]

[DOI]

Xiaolan Xie

Chien-Nin Hsu

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

2003

Design and implementation of a discrete event system using statecharts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

2002

Analysis of a Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.

[BibT_eX]

[DOI]

YuanLin Wen

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2001

Design, analysis and implementation of a real-world manufacturing cell controller based on Petri nets.

[BibT_eX]

[DOI]

Sheng-Luen Chung

Int. J. Comput. Integr. Manuf., 2001

A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

2000

Manufacturing Modeling using Process Nets with Resources.

[BibT_eX]

[DOI]

Xiaolan Xie

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999

Petri net dynamics-based scheduling of flexible manufacturing systems with assembly.

[BibT_eX]

[DOI]

Chung Shi Lin