NDLI: Design of Deadlock Prevention Supervisors Using Elementary Siphons

Please wait, while we are loading the content...

The Proceedings of the Multiconference on "Computational Engineering in Systems Applications"

Volume 2 - 2006

Volume 1 - 2006

2006 IMACS Multiconference on Computational Engineering in Systems Applications

2006 IMACS Multiconference on Computational Engineering in Systems Applications

Message from the General Co-Chair

Message from the General Co-Chair

Message from CESA2006 Organizers

A Computational Systems Approach To Urban Disruptions

A Hybrid Intelligent Optimal Control Method for the Whole Production Line and Applications

Computer-Aided Decision-Making: Systems, Applications, and Modern Solutions

Modeling and Control of Multi-Locomotion Robots

Multimodal Integration and Learning in Cognitive Technical Systems

LS-EM Algorithm of Parameters Estimation for Gaussian Mixture Autoregressive Model

Steganalysis of Compressed Speech

Steganography-Oriented Noisy Resistance Model of G.729a

HOS-Based Interference Mitigation Algorithm

GPS/INS Data Fusion for Land Vehicle Localization

Multi-sensor Information Fusion Based on Rough Set Theory

Analysis and optimal use of GNSS pseudo-range delays in urban canyons

Particle Filtering for Multipath Effects Reduction in Land Vehicule Positioning

Localization of Time Disturbances in Tolerant Multi-product Job-shops Without Assembling Tasks

Interval Analysis of Time Petri Nets

Deadlock Analysis of Petri Nets Based on the Resource Share Places Relationship

A New Method for Super-resolution Reconstruction

A New Framework For Large Vocabulary Keyword Spotting Using Two-Pass Confidence Measure

Wavelet Image Threshold Denoising Based on Edge Detection

Scalable Image coding Method Based on Multiwavelet Transform

The Fast Fourier and Hilbert-Huang Transforms: A Comparison

A New Non-Orthogonal Joint Diagonalization Algorithm with Application in ICA and BSS

Research on the Method of Demodulation for PCM/FM Signal Based on Instantaneous Frequency Measurement

Pitch and Energy Contribution in Emotion and Speaking styles Recognition Enhancement

Realization of Embedded Multimedia System Based On Dual-Core Processor OMAP5910

Multiscale Product of Electroglottogram Signal for Glottal Closure and Opening Instant Detection

SOLA based on Zero-Crossing Point

An Integrative Processing Algorithm of Passive Detection and Tracking

ISA-Handoff: An Identifiable Signal based Anticipated Handoff approach in MIPv6

A New Multiscale Associated Filter with multisensors for Dynamic Systems

Wavelets analysis for defects detection in flat glass

Automatic ECG segmentation based on Wavelet Transform Modulus Maxima

Digital Image Analysis to Determine Pore Size Distribution of Nonwoven Fabrics

ntelligent Word Semantic Proofing System for Special Field

Linguistic Model of Fashion Statements

Single Parameter Model of Minimal Surface Construction for Dynamic Garment Pattern Design

A method of experiment design based on IOWA operator inference in sensory evaluation

Modeling of the Pore network by Image Processing: Application to the Nonwoven Material

A fabric simulation based on a model constructed from a lower level

Computer Simulation of Filtration Process Through Woven Fabrics

Innovation and Analysis of Police Riot Helmets with Continuous Textile Reinforcement for Improved Protection

Study on interactive cloth simulation considering airflow

Using Radial Basis Functions to Solve Geodesics Equations for Body Measurements

A fuzzy logic based criterion for selecting relevant process parameters for design of nonwoven products

A Three-Domain Fuzzy Process Control System

Deterministic Robust Control for Multiple-Time-Scale Markov Jumping System

A New Congestion Control Model Based on Fuzzy Neural Networks

Actuator Nonlinearities Compensation Using RBF Neural Networks in Robot Control System

Observer-based fuzzy adaptive control for a class of MIMO nonlinear systems

Stabilization of a Harvested Fish Population

Synthesis of Combined Facial Expressions Using Anatomy-based Model

Visual Hand Tracking Using MDSA Method

Fitting Gammachirp Filter Model Parameters to Perceptual Second Formant Data of Voiced Speech

3D Virtual Visualization of a Real Individual from Fast Parametric Reconstruction and Digital Cloning

Modeling and Control of a Gas Micro Turbine Generator by Using a Causal Ordering Graph

Locally-Stationary Multivalriate AR Model Analysis of Forearm Electromyographic Signals on Handwritiing Movements

Robust Stability of City Bus Steering Control

An Approach of Asymptotic Stability Domain Estimation of Discrete Polynomial Systems

Stability Domain Study of Discrete TSK Fuzzy Systems

On guaranteed global exponential stability of polynomial singularly perturbed control systems

On an internal multimodel control for nonlinear systems

A New CPFSK Telemetry Digital Polarization Diversity Receiver

Time Frequency Image Analysis Using Neural Networks

A Fault Isolation Method for Nonlinear Dynamic Systems Based on Monotonous Observers

Study on Dynamic Response of Coupled Model between Vehicle and Track for LIM Track Transportation

Hybrid Model of WT and ANFIS and Its Application on Time Series Prediction of Ship Roll Motion

The Mathematics Model of A Complicated Array

Simulation of Turbulent Wind Field for Tianxingzhou Bridge

Experience in modeling medic-ecological economical systems (Irkutsk region as an example)

Model and Laboratory Tests of Airfield Pavement Rapid Repair by Composite Material Mats

Data Quality Evaluation Process and Methods of Natural Environment Conceptual Model in Simulation Systems

The Optimization Model for Locomotive Rostering in the Fleet Planning Project

Algorithm for Making Decision with the Incremental Cost-Effectiveness Ratio handling the Mirror Decision-Making Problem

Bootstrapping tests for conditional heteroskedasticity based on artificial neural network

Four-Parameter Generalized Gamma Distribution used for Stock Return Modelling

Improvement on Robots Positioning Accuracy Based on Genetic Algorithm

The Application of Model Free Adaptive Control

Validation and improvement of Models in the Frequency Domain

Utilization of chirp-z transform to improve the performance of target number detection of low resolution radar

Neural Network Topological Evolvement

Generic Model for Chemical Reactor

Infrared Ship Multi-Targets Recognizing

Use of Inverse models built for accurate microstepping of linear switched reluctance step actuators

The Kansei Research on the Style of Women's Overcoats

A Quantitative Evaluation of the Non-Minimum Phase Phenomenon for a Robot ARM

Technical Challenges for Digital Watermarking

Mobile Agent Life State Management

Research of Emotional Agent in Virtual Environment

Hybrid Data Fusion for Correction of Sensor Drift Faults

The chaos support vector machine forecasting using in supply chain management

Application of Random Forest to Aircraft Engine Fault Diagnosis

Evolutionary Tuning of Non-parametric Information Conversion Functions for Diagnostics

Using Synthetic Data to Train an Accurate Real-World Fault Detection System

A Solving Method for Message Filtering Mechanism of CAN System Based on Distributed Genetic Algorithm

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

Distributed Transmission-Line Behavioral Modeling and Analyzing Using VHDL-AMS

Application of CORDIC Algorithm to Neural Networks VLSI Design

Composite Multimodel and Neural Network Controllers

Cooperative Evolution Genetic Algorithm on Bidding of Power Market

The Isomorphism Theorem of Partheno-genetic Algorithm and Traditional Ggenetic Algorithm

Adaptive Control for a Class of Nonaffine Systems Based on Fuzzy-Neural Approach

An Adaptive Fuzzy PI Controller for Nonlinear Systems

Multiple Layers Sliding Mode Control for a Class of Under-actuated Systems

ON a Model of Optimal Trouble Diagnosis and Inspection Policies

Global Sliding Mode Control with Adaptive Fuzzy Chattering Free Method for Nonlinear System

A Tri-Level Knowledge Representation Model for NLP

The Understandability of Phrases and the Grammatical Parsing

Logical Approach for Intelligent Control of Multiagent Systems

Design on the Optimal Feedback Control Law of Networked Control Systems with Multiple Switching Modes

The Quadratic Stability and the Separation Property of the Integral Control of Switched Systems

Use of Support Vector Machines for Color Image Segmentation

Decision making on network problem with fuzzy arc lengths

A Writer Recognition approach Based on SVM

A flexible software architecture for multi-modal service robots

study of Engine Intelligent Control Based on Multi-Agent

Mission Planning for Unmanned Aerial Vehicles

Fault Diagnosis Using Covariance Assignment and Regional Pole Placement of T-S Fuzzy Observers

A Nonlinear Control Algorithm Based on Adaptive Wavelet Net for STT Anti-ship Missile

The Application of an Annealing Recurrent Neural Network for Extremum Seeking Algorithm to Optimize UAV Tight Formation Flight

The Application of Minimum Entropy H Mixed Sensitivity to Flight Control

Design of Global Identical Terminal Sliding Mode Controller for a Class of Chaotic System

INS/GPS Integrated Navigation Uncertain System State Estimation Based on Minimal Variance Robust Filtering

Search the Optimal Rendezvous Opportunities for Manned Mars Mission

Modeling and Simulation Research on Tailless Unmanned Aerial Vehicle

An On-line Multiple Route(s) Planner for Air Vehicles Using Genetic Algorithms

An Adaptive Filter for INS/GPS Integrated Navigation System

A Survey of Advanced Flight Control Theory and Application

Fixed Structure Flight Control Law Design Based on Genetic Algorithm

Several Problems on Rejecting Disturbances Acting on Rigid Spacecraft

Adaptive Control of Large Flexible Structures Using the Characteristic Modeling Technique

Relative Orbit Design for Maintaining Constant Distance in Satellite Formation Flying

Study on the Collision Avoidance Maneuver in the RVD Mission

Low-Thrust Transfer Orbit Design Based on Lyapunov Feed Back Control Law

Study of Design and Optimization of Low-Thrust Transfer Trajectory with Planetary Aerogravity Assist

Design of RBF Neural Robust Controller with Differencial Reconstruction and for a Class of Nonlinear Uncertain Chaotic Systems

Research on Penetration Effectiveness of UAV by Means of Towed-decoy

Dynamical Adaptive Sliding Mode Approach for Tracking Control of Ship Steering System

Research on Control Method for Lateral Thrust Based on Interceptor in Aerosphere

Conditions of Reducing effect of J2 Perturbation on Formation Flying

System Identification of UAV Based on EWC-LMS

A New Simple PD-Like Robust Attitude Tracking Controller for Rigid Spacecraft

Disturbance-Observer-Based Motion Control of Free-Floating Space Robot

A Hierarchical and Distributed QoS Routing Protocol for Two-layered Satellite Networks

An optimal guidance method for the reentry maneuverable spacecraft

Multiscale Controller Design of Multirate Sampled-Data Control System

The control system design for ASV via discrete sliding mode control based on disturbance observer

Optimal Trajectory Planning and Control for the Manned Maneuvering Unit

Fuzzy Characteristic Model Based Intelligent Adaptive Control for Aerospace Craft

Simulation and Analysis Study on the Position Error of Double-Star Position System

Research of Vertical Launching Missile Based on Turning Control Technology

Design of Embedded Serial Data-Network Converter

Adaptive Neural Network Controller Design for Missile Systems with Unmodeled Dynamics

Small Satellite Magnetic Autonomous Orbit Determination Based on Modified UKF

Satellite Attitude Estimation UKF Algorithm Based on Star-Sensor

A New Manner for Energy Reintroduction in AJAX

A Method for Rapid Transfer Alignment Based On UKF

Online Route Planner for Unmanned Air Vehicle Navigation in Unknown Battlefield Environment

Study of high-reliable differential dual-redundancy EMA without load-averaging controller for aircraft

Previewing Control For Excavator In Coal Mining

Air-stream and Temperature Plant Remote Control

Process Control and Power Line Communications

Control and Optimization for the Cowpers of a Steelmaking Plant

Gross Error Detection Applied to a Wind Turbine

Oberving and Controlling Plants using their Delayed and Sampled Outputs

Detecting modes in fed-batch fermented process. Application to Escherichia Coli Cultivation

A Clustering Algorithm Based on Discretized Interval Value

Design of Deadlock Prevention Supervisors Using Elementary Siphons

On the Linearization of Weighted T-Systems

Formalizing, Implementing and Reusing Controller's Behaviors and Interactions

Fault diagnosis based on timed automata: Diagnoser verification

Time Floating General Mutual Exclusion Constraints (TFGMEC)

The Effect of Health on Labor Force Participation

Petri Nets Modelling for Control of Discrete Events Systems

Decentralized Approach to Diagnose Manufacturing Systems

A Control Synthesis Tool for Time Discrete Event Systems

Defects Recognition Algorithm on Magneto-Optic Image of Aging Aircraft Skin

Evolutionary Tabu Search in Task Allocation of Unmanned Aerial Vehicles

Assessment of a Distributed Multicriteria Decision Approach through a traffic problem

Connectionless Quality-of-Service Routing Framework

Rescheduling In The Urban Transportation Networks

A Fusion Algorithm for Building Maps in Confined Environments for Mobile Robots

Ant Colony Optimization for the rescheduling of multimodal transport networks

Intermodal transportation system management : towards integration of traffic management system and users information system.

Using the Intermeans Parameter to Measure the Dispersion when Solving the Newsboy Problem

Dynamic approach to reassign tasks when servers breakdown in a Multimodal Information System

Multi-Agent model for a distributed logistic system

A FT Solution For SST Data Processing System Using JBits

Design of Modular and Hierarchical Controllers for Reconfigurable Manufacturing Systems

Reconfiguration Process Design of a Reconfigurable Manufacturing System Using Particle Swarm Optimization

Hopcount in the NICE Application Layer Multicast Protocol

A Column Generation Method for the Parallel-Machine Scheduling Problem with availability constraint

Lower Bounds for Tardiness Minimization on a Single Machine with Family Setup Times

An improved branch and bound algorithm for solving the identical parallel machnmes scheduling problem with family setup times

A Branch and bound for 1|ri| wiCi, Scheduling Problem

Research on Particle Impact Noise Detection Standard

Research on Non-sinusoidal Vibration Excitation in Particle Impact Noise Detection

Study on Contact Resistance Dynamic Characteristics of Space Electromagnetic Relay

A Numerical-Analytical Method for the Computation of Robot Workspace

Design of Deadlock Prevention Supervisors Using Elementary Siphons

Content Provider	IEEE Xplore Digital Library
Author	Huang, Y.S.
Copyright Year	2006
Description	Author affiliation: Dept. of Aeronaut. Eng., National Defense Univ., Taoyuan (Huang, Y.S.)
Abstract	This paper proposes a methodology to synthesize deadlock prevention supervisors for a class of sequential resource allocation system for flexible manufacturing systems (FMSs). Since all minimal siphons should be controlled, the controlled nets are very complexity when the systems are large. In this article, a concept of the elementary siphon is used to reduce the number of control places. We further present a new siphon-based policy of deadlock prevention for the type of Petri nets. This policy is consisting of two main stages. Compared with the existing approaches, the new deadlock prevention policy can obtain a structurally compact deadlock prevention supervisor by adding only a few of control places
Starting Page	869
Ending Page	875
File Size	2234519
Page Count	7
File Format	PDF
ISBN	7302139229
DOI	10.1109/CESA.2006.4281774
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-10-04
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	IMACS
Subject Keyword	deadlock prevention Petri nets Control systems flexible manufacturing system Aerospace engineering elementary siphon System recovery Control system synthesis Systems engineering and theory Resource management Flexible manufacturing systems Kernel Manufacturing systems
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in