DESTC: Newsletter - January, 2009
IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE
ON DISCRETE EVENT SYSTEMS |
| Editor: |
Ryan J. Leduc
Chair, IEEE CSS Technical Committee on DES
Dept. of Computing and Software
McMaster University
1280 Main Street West
Hamilton, Ontario
Canada L8S 4K1
Phone: (905) 525-9140 Ext. 27962
Fax: (905) 524-0340
e-mail: leduc@mcmaster.ca
WWW: http://www.cas.mcmaster.ca/~leduc/
|
DESTC Web Page: http://www.cas.mcmaster.ca/destc/
To subscribe/unsubscribe to the newsletter, please go here.
To submit news items and articles to this newsletter, go here.
It is the responsibility of the contributor to ensure that they have the necessary permissions/clearance required for the transmittal of their news item.
Contents:
1. Editorial
2. Announcements
2.1 Symposium in Honor of Steven I. Marcus
2.2 HSCC09: Call for participation
2.3 [CfP: Petri Nets at IEEE IECON-2009] Special Sessions on "Petri Nets
and Discrete Event Systems", Porto, Portugal, Nov. 3-6, 2009.
3. Conferences
3.1 6th INTERNATIONAL WORKSHOP ON SOFTWARE CYBERNETICS (IWSC09),
Seattle, July 20 - 24, 2009
3.2 IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, Bangalore,
India, August 22 - 25, 2009
4. Journals
4.1 Selections from IEEE Transactions on Automation Science and
Engineering, Volume: 6, Issue: 1, January 2009
Welcome to the newsletter of the IEEE Control Systems Technical Committee on Discrete Event Systems!
See http://www.cas.mcmaster.ca/destc/ for information on the DESTC.
Personal note from the editor:
Welcome to the January edition of the DESTC newsletter,
Ryan
Contributed by: Jessy Grizzle <grizzle@umich.edu>
SYMPOSIUM IN HONOR OF STEVEN I. MARCUS
On Saturday, April 18, 2009, a symposium entitled
Advances in Discrete Event, Nonlinear and Stochastic Systems Modeling
and Control
will be held at the University of Maryland, College Park, in Honor of
Professor Steven I. Marcus on the occasion of his 60th birthday. A one
day series of invited lectures is being organized around the themes of
Stochastic Control and Optimization, Markov Decision Processes,
Nonlinear Control, Nonlinear Filtering, and Discrete Event and Hybrid
Systems. The event is open to everyone.
More information is available at
http://www.eecs.umich.edu/~grizzle/MarcusFest/index.html
Contributed by: Paulo Tabuada <tabuada@ee.ucla.edu>
HSCC09: CALL FOR PARTICIPATION
Dear colleague,
we would like to invite to attend the 12th International
Conference on Hybrid Systems: Computation and Control (HSCC)
to be held Monday through Wednesday, April 13-15, 2009
in San Francisco. HSCC will be part of the 2nd Cyber-Physical Systems
Week (CPSWeek) which is the collocated cluster of three conferences: HSCC, RTAS (Real-Time
and Embedded Technology and Applications Symposium), and IPSN (International
Conference on Information Processing in Sensor Networks). Through CPSWeek, the three conferences
will have a shared registration process, joint invited speakers and poster sessions, and
joint social events. - Further details including the list of accepted papers and
associated workshops can be found on the conference website:
http://www.ee.ucla.edu/hscc09
Rupak Majumdar and Paulo Tabuada
HSCC09 General Chairs
Contributed by: Jin-Shyan Lee <jinshyan_lee@itri.org.tw>
[CFP: PETRI NETS AT IEEE IECON-2009] SPECIAL SESSIONS ON "PETRI NETS
AND DISCRETE EVENT SYSTEMS", PORTO, PORTUGAL, NOV. 3-6, 2009.
[CfP: Petri Nets at IEEE IECON-2009] Special Sessions on "Petri Nets
and Discrete Event Systems", Porto, Portugal, Nov. 3-6, 2009.
Please accept my apologies if multiple copies received.
----------------------------------------------------------------------
Call for Papers: Special Session on
Petri Nets and Discrete Event Systems
----------------------------------------------------------------------
IEEE IECON 2009
The 35th Annual Conference of IEEE Industrial Electronics Society
November 3-6, 2009, Porto, Portugal
Conference web site: http://paginas.fe.up.pt/~iecon09/
===================================================
Petri nets were introduced by C. A. Petri in his seminal work in
1962. Since then Petri nets have been applied in several areas for
modeling and analysis of discrete event systems. The aim of this
invited session is to provide a platform for international
researchers and practitioners to present and share their original
works addressing the new challenges, research issues and novel
solutions of Petri Nets and Discrete Event Systems.
Topics include, but are not limited to, the following:
- Petri nets
- UML, statechart, and activity diagrams
- Discrete event systems
- System modeling and simulation
- Supervisory control
- Performance evaluation and optimization
- Planning and scheduling
- Fault detection, isolation, diagnostics, and error recovery
- Applications: factory automation, transportation systems, computer
& communication networks, e-commerce, and supply chains
- Practical applications and industrial case studies
----------------------------------------------------------------------
----
IMPORTANT DATES:
Feb. 10, 2009 Expression of interest (Email short summaries to the
corresponding organizer)
April 20, 2009 Deadline for submission of full papers (SPECIAL
SESSION PAPERS)
June 22, 2009 Notification of acceptance
August 17, 2009 Final camera-ready papers due
Accepted papers will be published in an IEEE Proceedings volume and
will be included in IEEE Xplorer and indexed by EI Compendex.
For further information, please see the website:
http://paginas.fe.up.pt/~iecon09/
INSTRUCTIONS:
Interested contributors please e-mail your short summaries (paper
title, authors, abstract, and contact details) to Dr. Jin-Shyan Lee
at your earliest convenience (but no later than Feb. 10, 2009).
----------------------------------------------------------
Session Organizers:
Prof. Luis Gomes
Department of Electrical Engineering
Universidade Nova de Lisboa, Portugal
Email: lugo@uninova.pt
Prof. Maria Pia Fanti
Dipartimento di Elettrotecnica ed Elettronica
Politecnico di Bari, Italy
Email: fanti@deemail.poliba.it
Assoc. Prof. Toshiyuki Miyamoto
Department of Electrical, Electronic and Information Engineering
Osaka University, Japan
Email: miyamoto@eei.eng.osaka-u.ac.jp
Dr. Jin-Shyan Lee (corresponding organizer)
Information & Communications Research Labs
Industrial Technology Research Institute (ITRI), Taiwan
Email: jinshyan_lee@itri.org.tw
----------------------------------------------------------------------
---------------
Sincerely,
Jin-Shyan Lee, Ph.D.
Information & Communications Research Labs
Industrial Technology Research Institute (ITRI)
Address: Rm. 407, Bldg. 51, 195, Sec. 4, Chung-Hsing Rd., Chutung,
Hsinchu
31040, Taiwan, ROC.
Tel: +886-3-5917337
Fax: +886-3-5820042
Email: jinshyan_lee@itri.org.tw
Contributed by: Ratnesh Kumar <rkumar@iastate.edu>
6TH INTERNATIONAL WORKSHOP ON SOFTWARE CYBERNETICS (IWSC09)
Seattle
July 20 - 24, 2009
6th INTERNATIONAL WORKSHOP ON SOFTWARE CYBERNETICS (IWSC09)
http://www.utdallas.edu/~cangussu/site/IWSC09/
In conjunction with COMPSAC 2009
33rd Annual IEEE International Computer Software and Applications
Conference
Seattle, Washington, July 20 - July 24, 2009
http://conferences.computer.org/compsac/2009/
====================================================================
Software cybernetics explores the interplay between software/software
behavior, and control. The fundamental question of interest is when
and how can software behavior, software processes, or software systems
be adapted or evolved to meet old and new objectives in the presence
of a changing environment, e.g., disturbances, faults, or expanded
requirements? This emerging and interdisciplinary area addresses
issues and questions on:
Formalization and quantification of feedback and self-adaptive control
mechanisms in software;
Adaptation of control theory principles to software processes and
systems;
Application of software engineering principles and theories to control
systems;
Integration of the theories of software engineering and control
engineering
=====================================================================
Topics of interest include, but are not limited to, the following:
Models and use of feedback mechanisms in software processes,
simulation, and systems
Feedback control in software test process and fault-tolerant computing
Robust feedback policies for software security
Robust software evolution using adaptive feedback control
Self-adaptive, self-managing, and learning software
Adaptive testing; fault detection and localization for self-correction
in software and software processes
Control of software rejuvenation; adaptive rejuvenation
Relationship between bisimulation and controllability
Application of supervisory control principles to software synthesis
and safety control
Software architectures for control systems
Proactive and autonomic computing
Software-enabled control
Quality of Service Adaptive Mechanisms
Adaptive Systems Design
Adaptive Software Architectures
Component-Based Adaptive Systems
=====================================================================
Important dates
Submission: 15 February 2009
Notification of acceptance: 7 April 2009
Camera-ready copy: 30 April 2009
Selected papers will be invited to submit an expanded version to be
published in prestigious International Journal
=====================================================================
General Chair: Joao W. Cangussu
Department of Computer Science
University of Texas at Dallas, USA
Program Co-Chairs: Ratnesh Kumar
Department of Electrical & Computer Engineering
Iowa State University, USA
Ron S. Kenett
KPA Ltd., Israel
web site: click here
Contributed by: Ryan Leduc <leduc aT mcmaster dOt ca>
IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING
Bangalore, India
August 22 - 25, 2009
Dear Automation Researcher,
We are providing below information on the IEEE CONFERENCE ON AUTOMATION
SCIENCE AND ENGINEERING to be held in Bangalore during August 22-25,
2009.
We welcome your participation in this important conference sponsored by
the IEEE Robotics and Automation Society.
Thanks and regards,
Y. Narahari, General Chair, hari@csa.iisc.ernet.in
V. Kumar, General Co-Chair, kumar@seas.upenn.edu
Spyros Reveliotis, Program Chair, spyros@isye.gatech.edu
#######################################################################
IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING
August 22-25, 2009, Bangalore, India
Sponsored by the IEEE Robotics and Automation Society
http://www.ieee-case.org
.....................................................................
The Fifth IEEE Conference on Automation Science and Engineering (IEEE
CASE 2009) will be held at Bangalore, India, from August 22 to 25,
2009.
Papers are solicited in all areas related to both theoretical and
application sides of automation. More specifically, this year's CASE
will evolve around the following themes:
- Foundations of Automation
- Knowledge Sciences and Automation
- Sensors and Sensor Networks
- Manufacturing, Logistics and Supply Chain Automation
- Automation in Life Sciences and Health Care
- Automation in Meso, Micro and Nano-Scale
IEEE CASE is an offspring of the IEEE Transactions on Automation
Science and Engineering (http://www.ieee.org/t-ase). High quality CASE
papers will be recommended for possible publication in this flagship
automation journal.
We also solicit proposals for special sessions and for tutorials and
workshops on frontier topics in automation. We welcome and encourage
Industry participation in all the events.
Some important dates:
Submission of proposals for special sessions: February 1, 2009
Submission of regular papers: February 15, 2009
Submission of proposals for tutorials and workshops: March 1, 2009
Detailed information on the submission process for all the above items
can be found at the conference website:
http://www.ieee-case.org
The venue of the conference is Hotel Grand Ashok, Bangalore. Bangalore
itself is a leading hub of India's modern economy and a primary base
for many global companies, especially in the IT sector. It is also the
home for many of India's premier research institutions, including the
Indian Institute of Science, and numerous research labs of the
government and global companies. Bangalore is distinguished by its
salubrious weather and by seamless blending of the old and the modern
Indian cultures. It is directly served by many well known air carriers.
The website also provides additional information on travel and
accommodation arrangements for the conference attendees, as well as on
various special events that will be an integral part of this
conference.
It is a pleasure to request you to be a part of this important
event and we look forward to receiving your paper(s)/proposal(s).
For any additional information, please contact one of the conference
organizers:
- Y. Narahari, Indian Institute of Science, General Chair,
hari@csa.iisc.ernet.in
- V. Kumar, University of Pennsylvania, General Co-Chair,
kumar@seas.upenn.edu
- Spyros Reveliotis, Georgia Inst. of Technology, Program Chair,
spyros@isye.gatech.edu
web site: click here
Contributed by: Ryan Leduc <leduc aT mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
VOLUME: 6, ISSUE: 1
JANUARY, 2009
1) A Petri Net-Based Method for Compatibility Analysis and Composition
of Web Services in Business Process Execution Language
Tan, W.; Fan, Y.; Zhou, M.
Abstract:
Automatic Web Service composition is gaining momentum as the potential
silver bullet in Service Oriented Architecture. The need for
interservice compatibility analysis and indirect composition has gone
beyond what the existing service composition/verification technologies
can handle. Given two services whose interface invocation constraints
are described by a Web Services-Business Process Execution Language
(WS-BPEL or BPEL), we analyze their compatibility and adopt mediation
as a lightweight approach to make them compatible without changing
their internal logic. We first transform a BPEL description into a
service workflow net, which is a kind of colored Petri net (CPN). Based
on this formalism, we analyze the compatibility of two services, and
then devise an approach to check whether there exists any message
mediator so that their composition does not violate the constraints
imposed by either side. The method for mediator generation is finally
proposed to assist the automatic composition of partially compatible
services. Our approach is validated through a real-life case and
further research directions are pointed out.
2) Automatic Reconfiguration of Petri Net Controllers for
Reconfigurable Manufacturing Systems With an Improved Net Rewriting
System-Based Approach
Li, J.; Dai, X.; Meng, Z.
Abstract:
The advent of reconfigurable manufacturing systems (RMSs) has given
rise to a challenging problem, i.e., how to reconfigure rapidly and
validly a RMS supervisory controller in response to frequent changes in
the manufacturing system configuration driven by fluctuating market.
This paper presents an improved net rewriting system (INRS)-based
method for automatic reconfiguration of Petri net (PN) supervisory
controllers for RMS. We begin with presenting the INRS which overcomes
the limitations of the net rewriting system and can dynamically change
the structure of a PN without damaging its important behavioral
properties. Based on INRS, a method for design reconfigurable PN
controllers of RMS is introduced. Subsequently, we presented an
INRS-based method for rapidly automatic reconfiguration of this class
of PN controllers. In the reconfiguration method, changes in a RMS
configuration can be formalized and act on an existing controller to
make it reconfigure rapidly into a new one. Noticeably, no matter the
design or reconfiguration, the expected behavioral properties of the
resultant PN controllers are guaranteed. Thus, efforts for verification
of the results can be avoided naturally. We also illustrate the
reconfiguration of a PN controller for a reconfigurable manufacturing
cell.
web site: click here
The End
|
[Home]
[Members]
[Newsletters]
[Conferences]
[DES Researchers]
[Links]
Please send suggestions to:
Ryan Leduc,
destc@cas.mcmaster.ca
|
