Giới thiệu
Chức năng nhiệm vụ
Nhân sự
Thời gian làm việc
Giới thiệu chung
Sơ đồ Thư viện
Tra cứu
Tìm lướt
Tìm Từ khóa
Tìm Chuyên gia
Tìm Toàn văn
Tra cứu liên thư viện
Tài Liệu Mới
Cơ sở dữ liệu mở
Tạp chí
Người dùng
Hướng dẫn (Video)
Hướng dẫn sử dụng
Gửi yêu cầu
Nội quy - Chính sách
Diễn Đàn
Gửi yêu cầu
DỊCH VỤ THƯ VIỆN
Dịch vụ miễn phí
Cung cấp tài liệu học tập
Dịch vụ in ấn
Đăng nhập
Nhan đề
Tác giả
Chủ đề
Điểm truy cập chính
Tóm tắt
Mọi trường
Toàn văn
Automation Science and engineering, Tập 11, Số 1, 2014
Mục lục:
STT
Nội dung
1
Special Section On Advances In Discrete-Event Systems For Automation
2
Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation
3
Symbolic Representation and Computation of Timed Discrete-Event Systems / S. Miremadi and others
4
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner / R. J. M. Theunissen and others
5
Supervisory Control for State-Vector Transition Models—A Unified Approach / Bengt Lennartson
6
Bridging the Gap Between Design and Implementation of Discrete-Event Controllers / Marcos Vicente Moreira, João Carlos Basilio
7
Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis / Hesuan Hu, Senior Member, Yang Liu
8
Fault-Tolerant Control for Safety of Discrete-Event Systems / Shaolong Shu, Feng Lin
9
Freeway Traffic Modeling and Control in a First-Order Hybrid Petri Net Framework / Maria Pia Fanti
10
State Estimation of Timed Labeled Petri Nets With Unobservable Transitions / Philippe Declerck, Patrice Bonhomme
11
Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems / Ahmed Nazeem, Spyros Reveliotis
12
Testing Experiments on Synchronized Petri Nets / Marco Pocci and others
13
A Study on Sinus-Lifting Motion of a Snake Robot With Sequential Optimization of a Hybrid System / Satoshi Toyoshima
14
A Propagative Model of Simultaneous Impact: Existence, Uniqueness, and Design Consequences / Vlad Seghete, Student Member, Todd D. Murphey
15
Planar Compliances of Symmetric Notch Flexure Hinges: The Right Circularly Corner-Filleted Parabolic Design / Nicolae Lobontiu and others
16
An Optimal Sample Allocation Strategy for Partition-Based Random Search / Weiwei Chen and others
17
Path Generation Using -Splines for a Truck and Trailer Vehicle / Fabio Ghilardelli, Gabriele Lini, Aurelio Piazzi
18
A Multiagent Q-Learning-Based Optimal Allocation Approach for Urban Water Resource Management System / Jianjun Ni
19
Building Energy Doctors: An SPC and Kalman Filter-Based Method for System-Level Fault Detection in HVAC Systems / Biao Sun
20
A Quality Flow Model in Battery Manufacturing Systems for Electric Vehicles / Feng Ju, Jingshan Li
21
Robotic Explosive Charging in Mining and Construction Applications / Adrian Bonchis, Elliot Duff, Jonathan Roberts
22
Cigarette Production Scheduling by Combining Workflow Model and Immune Algorithm / Xingquan Zuo, Wei Tan, Huiping Lin
23
An Intelligent Decision Support System for the Operating Theater: A Case Study / Fabrício Sperandio and others
24
Degree of Redundancy of Linear Systems Using Implicit Set Covering / John D. Arellano, Illya V. Hicks
25
Algorithms for Routing an Unmanned Aerial Vehicle in the Presence of Refueling Depots / Kaarthik Sundar, Sivakumar Rathinam
26
An Improved Mixed Integer Programming Approach for Multi-Hoist Cyclic Scheduling Problem / Ada Che and others
27
Robust Electromagnetic Control of Microrobots Under Force and Localization Uncertainties / Hamal Marino
28
Emulating Nuclear Emissions With a Pulsed Laser / Benjamin J. Hockman, Jianxin Sun, Herbert G. Tanner
29
Comments and Corrections