DESTC: Newsletter - December, 2006

Text menu can be found at the bottom, if this image is not viewable.

IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE
ON DISCRETE EVENT SYSTEMS

Newsletter	December, 2006

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.

1. Editorial

2. Announcements
 2.1 Invited Session at IFAC DCDS 2007

3. Conferences
 3.1 SIAM Conference on Control and Its Applications (CT07), San
     Francisco, California, USA, June 29 - July 1, 2007
 3.2 ICINCO 2007, Angers, France, May 9 - 11, 2007
 3.3 ETFA 2007, Patras, Greece, September 25 - 28, 2007
 3.4 The Twelfth IEEE International Conference on Engineering of Complex
     Computer Systems (ICECCS 2007), The University of Auckland,
     New Zealand, July 11 - 14, 2007

4. Journals
 4.1 Selections from IEEE Transactions on Systems, Man and Cybernetics, Part
     B, Volume: 32, Issue: 11, December 2006

Editorial

Welcome to the newsletter of the IEEE Control Systems Technical Committee Group on Discrete Event Systems!

See http://www.cas.mcmaster.ca/destc/ for information on the DESTC.

Personal note from the editor:
Welcome to the December issue of the DESTC newsletter.

Happy Holidays everyone!

Ryan

Announcements

Contributed by: Eric Niel <eric.niel _aT_ insa-lyon fr>

INVITED SESSION AT IFAC DCDS 2007

We would like to inform you that an invited session on	
"Reconfiguration of Discrete Event Systems: Theory and Applications"  
is initiated for proposal at the 2007 IFAC Workshop on Dependable  
Control of Discrete Systems (DCDS 2007).

This specific topic on reconfiguration is relevant to the nowadays  
industrial need on correct designed component and controller  
architecture according to reactive part of the FDIR (Failure  
Detection, Isolation and Recovery).

Submitted papers will attempt to present up-to-date results from both  
the theoretical and the application-oriented research field of	
Material and/or Controller Reconfiguration. Major issues deal with the 

switching capability of DES (accessibility, residual components, jump  
action, optimization...) on particular controllable events or not,  
observable events or not.


The topics of the invited session include but not exhaustively:

- operating mode management

- safe functioning and safe monitoring

- switching mode,

- switching controls and optimisation,

- DES stabilisation,

Papers referring to theoretical approaches will be appreciated and  
applications are welcome.

The first IFAC Workshop on Dependable Control of Discrete Systems  
(DCDS 2007) will be held in Paris-Cachan, France on June 13-15, 2007.

General information and instruction to authors will be found at the  
web page: http://www.lurpa.ens-cachan.fr/dcds07/

Thanks to inform us about your interest in contributing a paper. We  
are looking forward for your participation to this workshop.

Best regards,

Eric Niel (INSA de Lyon, France, eric.niel@insa-lyon.fr)

Ernesto Lopez-Mellado (CINVESTAV, Guadalajara, Mexico,  
elopez@gdl.cinvestav.mx)

Contributed by: Ryan Leduc <leduc _aT_ mcmaster ca>

THE TWELFTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX
COMPUTER SYSTEMS (ICECCS 2007)
The University of Auckland, New Zealand
July 11 - 14, 2007

Complex computer systems are common in many sectors, such as
manufacturing, communications, defense, transportation, aerospace,
hazardous environments, energy, and health care. These systems are
frequently distributed over heterogeneous networks, and are driven by
many diverse requirements on performance, real-time behavior, fault
tolerance, security, adaptability, development time and cost, long life
concerns, and other areas. Such requirements frequently conflict, and
their satisfaction therefore requires managing the trade-off among them
during system development and throughout the entire system life.

The goal of this conference is to bring together industrial, academic,
and government experts, from a variety of user domains and software
disciplines, to determine how the disciplines' problems and solution
techniques interact within the whole system. Researchers,
practitioners, tool developers and users, and technology transition
experts are all welcome. The scope of interest includes long-term
research issues, near-term complex system requirements and promising
tools, existing complex systems, and commercially available tools.
-----------------------------------------------------------------------

SCOPE AND TOPICS
-----------------------------------------------------------------------
Papers are solicited in all areas related to complex computer-based
systems, including the causes of complexity and means of avoiding,
controlling, or coping with complexity. Topic areas include, but are
not limited to:

+ Avionics and Automobile Software
+ Content Production and Distribution Systems, Mobile and Multi- 
channel Systems
+ Context Awareness Computing
+ Formal Methods and Approaches to Manage and Control Complex Systems
+ Human Factors and Collaborative Aspects
+ Integration of Heterogeneous Technologies
+ Interoperability and Standardization
+ Pervasive and Ubiquitous Computing
+ Real-time and Embedded Systems
+ Sensor Network Systems and Applications
+ Software and System Development and Control Processes for Complex  
Systems
+ Software Architecture and System Engineering
+ Software Complexity Visualization
+ Systems and Software Safety and Security
+ Tools, Environments, and Languages for Complex Systems
+ Verification Techniques for Complex Software Systems
+ Virtual Environments for Managing Complexity
+ Web Services Modeling and Compositions

Different kinds of contributions are sought, including research papers,
lessons learned, status reports, and discussion of practical problems
faced by industry and user domains. The ultimate goal is to build a
rich and comprehensive conference program that can fit the interests
and needs of different classes of attendees: professionals,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.

Papers are divided into two categories: Technical Papers and Experience
Reports. The papers submitted to both categories will be reviewed by
program committee members, and papers accepted in either category will
be published in the conference proceedings. Technical papers should
describe original research, and industrial experience reports should
describe practical projects carried out in industry, and reflect on the
lessons learnt from them.
-----------------------------------------------------------------------

PAPER SUBMISSION
-----------------------------------------------------------------------
Submitted manuscripts should be in English and formatted in the style
of the IEEE Computer Society Proceedings Format. Papers should not
exceed 10 pages including figures, references, and appendices and be in
PDF format. Submissions of papers will be carried out electronically
via the Web (Submission Page). Authors of accepted papers will be
required to sign a copyright release form. IEEE Computer Society Press
will publish the proceedings. Final versions of accepted papers will be
limited to 10 pages in the aforementioned IEEE proceedings format.
-----------------------------------------------------------------------

WORKSHOP PROPOSAL SUBMISSION
-----------------------------------------------------------------------
If you are interested in proposing Workshops, please contact Steve  
Reeves
<stever@cs.waikato.ac.nz>. There will also be a Special Session on Grand
Challenges --- Complex Program Verifier. If you are interested in this,
please contact Jim Woodcock <Jim.Woodcock@cs.york.ac.uk>.
-----------------------------------------------------------------------

IMPORTANT DATES
-----------------------------------------------------------------------
Abstract submission: January 5, 2007
Paper submission: January 20, 2007
Workshop proposal submission: February 20, 2007
Notification of acceptance: March 9, 2007
Camera ready copy due: April 8, 2007
-----------------------------------------------------------------------

KEYNOTE SPEAKERS
-----------------------------------------------------------------------
Jim Woodcock, University of York, United Kingdom
Wolfram Schulte, Microsoft Research, USA
Paul Strooper, The University of Queensland, Australia
-----------------------------------------------------------------------

CONFERENCE ORGANIZERS
-----------------------------------------------------------------------
GENERAL CHAIRS
Michael G Hinchey, NASA Goddard Space Flight Center, USA
Gillian Dobbie, The University of Auckland, New Zealand

PROGRAM CHAIRS
Jin Song Dong, National University of Singapore, Singapore
Jing Sun, The University of Auckland, New Zealand

WORKSHOP CHAIR
Steve Reeves, The University of Waikato, New Zealand

SPECIAL SESSION CHAIR
Jim Woodcock, Special Session Chair on Grand Challenges - Complex
Program Verifier, University of York, United Kingdom

LOCAL ORGANIZATION CHAIR
John Hamer, The University of Auckland, New Zealand

SPONSORSHIP CHAIR
Ian Warren, The University of Auckland, New Zealand

PROGRAM COMMITTEE
Timo Aaltonen, Tampere University of Technology, Finland
Robert Amor, The University of Auckland, New Zealand
Doo-Hwan Bae, Korea Advanced Institute of Science and Technology, Korea
Pierfrancesco Bellini, University of Florence, Italy
Shawn Bohner, Virginia Tech, USA
Jan Bosch, Nokia Research Center, Finland
Jonathan Bowen, Museophile Limited, United Kingdom
Manfrey Broy, Technical University of Munich, Germany
Michael Butler, University of Southampton, United Kingdom
W.K. Chan, City University of Hong Kong, China
Albert M. K. Cheng, University of Houston, USA
Wei Ngan Chin, National University of Singapore, Singapore
Myra Cohen, University of Nebraska-Lincoln, USA
Jim Davies, University of Oxford, United Kingdom
Ewen Denney, RIACS / NASA Ames Research Center, USA
Jurgen Dingel, Queen's University, Canada
Jin Song Dong, National University of Singapore, Singapore
Jose Luiz Fiadeiro, University of Leicester, United Kingdom
Colin Fidge, Queensland University of Technology, Australia
Robert France, Colorado State University, USA
Yuxi Fu, Shanghai Jiaotong University, China
Chris George, United Nations University, China
Jeremy Gibbons, University of Oxford, United Kingdom
Lindsay Groves, Victoria University of Wellington, New Zealand
Volker Gruhn, University of Leipzig, Germany
Jun Han, Swinburne University of Technology, Australia
Ian Hayes, University of Queensland, Australia
Jane E. Hayes, University of Kentucky, USA
John Hosking, The University of Auckland, New Zealand
Zhenjiang Hu, University of Tokyo, Japan
Pankaj Jalote, Indian Institute of Technology Kanpur, India
Phillip Laplante, Penn State University, USA
Kung-Kiu Lau, The University of Manchester, United Kingdom
Kueng Hae Lee, Hankuk Aviation University, Korea
Xuandong Li, Nanjing University, China
Peter Lindsay, University of Queensland, Australia
Zhiming Liu, United Nations University, China
Shaoying Liu, Hosei University, Japan
Brendan Mahony, Defence Science and Technology Organisation, Australia
Andrew Martin, University of Oxford, United Kingdom
Hong Mei, Peking University, China
Huaikou Miao, Shanghai University, China
Shin Nakajima, National Instutite of Informatics, Japan
Paolo Nesi, University of Florence, Italy
Richard Paige, University of York, United Kingdom
Sungyong Park, Sogang University, Korea
Mauro Pezze, University of Lugano, Switzerland
Shengchao Qin, Durham University, United Kingdom
Zhongyan Qiu, Peking University, China
Steve Reeves, The University of Waikato, New Zealand
Motoshi Saeki, Tokyo Institute of Technology, Japan
Emil Sekerinski, McMaster University, Canada
Rudolph E. Seviora, University of Waterloo, Canada
Xiaoyu Song, Portland State University, USA
Mark Staples, National ICT Australia, Australia
Frank Stomp, Wayne State University, USA
Paul Strooper, The University of Queensland, Australia
Jing Sun, The University of Auckland, New Zealand
Paul Swatman, University of South Australia, Australia
Kenji Taguchi, National Institute of Informatics, Japan
Tetsuo Tamai, The University of Tokyo, Japan
Mark Utting, The University of Waikato, New Zealand
Farn Wang, National Taiwan University, Taiwan
Hai Wang, The University of Manchester, United Kingdom
Ian Warren, The University of Auckland, New Zealand
Jim Woodcock, University of York, United Kingdom
Wang Yi, Uppsala University, Sweden
Huiqun Yu, East China University of Science and Technology, China
Daqing Zhang, Institute for Infocomm Research, Singapore
Hong Zhu, Oxford Brookes University, United Kingdom

web site: click here

Journals

Contributed by: Ryan Leduc <leduc _aT_ mcmaster ca>

SELECTIONS FROM IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS, PART
B
VOLUME: 32, ISSUE: 11
DECEMBER, 2006

1) Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable
Siphons

Chao, D. Y.

Abstract:

It is known that a net is deadlock free, not necessarily live, if no
siphons can become empty. The key structure in making some transitions
not live is called virtual first-order structure (VFOS). A net with
(without) VFOS is called a virtual net (V net) [nonvirtual net (NV
net)]. The V net is a maximal class of nets that may be weakly live and
not live, if no siphons can become empty. Any net in the NV nets is
live if and only if no siphons can become empty. In this paper, it is
shown that asymmetric choice nets, synchronized choice nets, and
extended synchronized choice nets belong to the NV nets.

web site: click here

The End

[Home] [Members] [Newsletters] [Conferences] [DES Researchers] [Links]
Please send suggestions to:

Ryan Leduc, destc@cas.mcmaster.ca

IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE ON DISCRETE EVENT SYSTEMS

Contents:

Editorial

Announcements

Conferences

Journals

IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE
ON DISCRETE EVENT SYSTEMS