DESTC: Newsletter - March, 2007
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 CfP: Track of Planning, Scheduling, and Coordination for IEEE CASE 2007
2.2 Systems Engineer/Signal Processing
2.3 Special Track in IEEE CASE 2007 on Automation/Assembly/Control for
Micro and Nanotechnology
3. Conferences
3.1 IEEE CASE 2007 3rd IEEE Conference on Automation Science and
Engineering, Scottsdale, Arizona, USA, September 22 - 25, 2007
3.2 DASD 2007 5th Symposium on Design, Analysis, and Simulation of
Distributed Systems, San Diego, California, USA, July 15 - 18,
2007
3.3 UFO'07: Workshop on UnFOlding and partial order techniques,
Siedlce, Poland, June 25 - 26, 2007
3.4 17th World Congress of International Federation of Automatic
Control, Seoul, Korea, July 6 - 11, 2008
3.5 PNSE'07 International Workshop on Petri Nets and Software
Engineering, Siedlce, Poland, June 25 - 26, 2007
3.6 IEEE Conference on Automation Science and Engineering 2007 (IEEE CASE
2007), Scottsdale, Arizona, U.S.A, September 22 - 25, 2007
3.7 3rd ASME/IEEE International Conference on Mechatronic and Embedded
Systems & Applications (MESA07), Las Vegas, Nevada, USA,
September 4 - 7, 2007
3.8 2007 IEEE International Conference on Industrial Electronics (IECON
2007), Taipei,Taiwan, November 8 - 11, 2007
4. Journals
4.1 Selections from International Journal of Control, Volume 80, Issue
4, April 2007
4.2 Selections from IEEE Transactions on Software Engineering, Vol. 33,
No. 4, April 2007
4.3 Selections from Automatica, Vol. 43, Issue 4, April 2007
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 March 2007 edition of the DESTC newsletter.
Ryan
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
CFP: TRACK OF PLANNING, SCHEDULING, AND COORDINATION FOR IEEE CASE 2007
Call for Papers
on the track of Planning, Scheduling, and Coordination
for 3rd IEEE Conference on Automation Science and Engineering (IEEE
CASE 2007)
The 3rd annual IEEE Conference on Automation Science and Engineering
(IEEE CASE), sponsored by the IEEE Robotics and Automation Society
(RAS), will be held on September 22 to 25, 2007 in Scottsdale,
Arizona, U.S.A. CASE is an offspring of the IEEE Transactions of
Automation Science and Engineering, http://www.ieee.org/t-ase. High
quality CASE papers will be recommended for publication in this
flagship automation journal.
On behalf of the organizing committee of the Track on Planning,
Scheduling, and Coordination, we invite you to submit your papers to
CASE 2007 describing scientific methods and technologies that address
both theoretical concerns and practical needs related to different
aspects of planning and scheduling problems. This track is intended
to bring together theoretical and applied researchers from both the
Planning and Scheduling community and the Control Theory community.
Topic of interest include:
Integrated planning, scheduling and control algorithms
Control and planning of Discrete-Event Systems
Adaptive control vs. learning in planning
Mixed-initiative planning/scheduling and role of humans on the
control loop
Distributed control vs. multi-agent planning
Monitoring and state estimation in control and planning
Paper Submission
Author(s) should submit full papers electronically in double column
PDF format. All papers will be peer-reviewed, and the selected ones
will be published in CD-ROM. Six pages are allowed per paper, and
detailed instructions for paper preparation and submission will be
available on the conference web site: http://www.ieee-case.org.
Please address all inquiries regarding the paper submission procedure
to the IEEE CASE 2007 Program Chair, Dr. Mike Tao Zhang, at
mike.zhang@cal.berkeley.edu.
Important Dates
April 30, 2007 Submission of papers (FIRM)
June 30, 2007 Paper acceptance notification to authors
July 15, 2007 Final camera-ready papers due
Track Co-Chairs
Prof. Maria Pia Fanti
Dipartimento di Elettrotecnica ed Elettronica
Politecnico di Bari
Bari, Italy
fanti@deemail.poliba.it
Prof. Spyros Reveliotis
School of Industrial and Systems Engineering
Georgia Institute of Technology
Atlanta, USA
spyros.reveliotis@isye.gatech.edu
Dr. Carla Seatzu
Dipartimento di Ingegneria Elettrica ed Elettronica
Universita di Cagliari
Cagliari, Italy
seatzu@diee.unica.it
Prof. Hideyuki Takagi,
Faculty of Design
Kyushu University
Fukuoka, Japan
takagi@design.kyushu-u.ac.jp
Dr. Elzbieta Roszkowska
Institute of Computer Eng., Control, and Robotics
Wroclaw University of Technology
Wroclaw, Poland
elzbieta.roszkowska@pwr.wroc.pl
Prof. Bengt Lennartson
Department of Signal and Systems
Chalmers University of Technology, Goteborg, Sweden
bengt.lennartson@chalmers.se
Contributed by: Thomas Steele <thomas.steele@inl.gov>
SYSTEMS ENGINEER/SIGNAL PROCESSING
Career Opportunity with the Idaho National Laboratory
Electrical/Nuclear Engineer
Idaho National Laboratory (INL) is seeking qualified candidates to
fill a staff research, development, and demonstration (RD&D)
position. The successful candidate will participate in the
development and demonstration of technical solutions to a variety of
moderately large and/or complex problems related to systems
technologies, including modeling and simulation, through the general
use and application of design/development practices, theories, and
techniques. Typical RD&D areas of interest may include, but not
necessarily be limited to, instrumentation and control, sensor
networks/systems, decision support systems, process control,
artificial intelligence, dynamic threat surveillance and detection,
system integration issues, and on-line condition monitoring and
anomaly detection and interpretation, with pattern recognition,
diagnostic, and prognostic capabilities. Additional R&D activities
may involve the development of dynamic process and operations models,
data acquisition and supervisory systems, and embedded sensory
networks and interfaces. Main application areas are national
security, nuclear processes, and energy systems.
Potential candidates must hold a PhD in Electrical Engineering,
Nuclear Engineering, or related fields. Strong expertise or/and
experience in systems technologies and in dynamic modeling,
simulation, and analysis is desirable. The position requires a
highly motivated individual with the ability to work effectively in a
team and under minimal supervision. The candidate will participate
and provide leadership in the development and demonstration of
advanced engineering systems and solutions using current and emerging
systems technologies.
We are approximately 150 miles from Sun Valley, Idaho, and 100 miles
from Jackson Hole, Wyoming, and Yellowstone National Park, three of
the world's most sought after resort vacation destinations. INL
offers a competitive salary and exceptional benefits package,
including Health/Dental/Life, retirement, vacation, tuition
reimbursement, relocation assistance, and much more.
Please apply on line at http://www.inl.gov/careers for job reference
#002757. For questions, send e-mail message to Denis Asay at
Denis.Asay@inl.gov.
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
SPECIAL TRACK IN IEEE CASE 2007 ON AUTOMATION/ASSEMBLY/CONTROL FOR
MICRO AND NANOTECHNOLOGY
The 3rd annual IEEE Conference on Automation Science and Engineering
(IEEE CASE), sponsored by the IEEE Robotics and Automation Society
(RAS), will be held on September 22 to 25, 2007 in Scottsdale,
Arizona, U.S.A. CASE is an offspring of the IEEE Transactions of
Automation Science and Engineering, http://www.ieee.org/t-ase. High
quality CASE papers will be recommended for publication in this
flagship automation journal.
Recent years have witnessed an exponential growth in the use of a
variety of micron-scale devices and integrated systems in a wide
range of applications and a concentrated effort to structure matter
at the nano-scale to take advantage of the unique properties of
nanostructures for novel device and integrated system applications.
In order to make the transition from structure, to device, and
ultimately to system, methods are needed to assemble nano and micron
scale structures controllably and with a high throughput. We invite
you to submit your papers regarding the formation of nano/micro scale
structures, devices, and systems and their control to the Track on
Automation/Assembly for Micro and Nanotechnology. This Track aims to
bring together a multidisciplinary group of researchers (engineers,
chemists, material scientists, physicists, and biologists among
others) at the leading-edge of efforts to develop methods for
manufacturing in the nano and micro domain and efforts to control in
this new region of operation. The following areas are of particular
interest; however, authors with other relevant areas of research are
encouraged to submit their manuscript to this Track.
. Assembly of nano-scale and micro-scale structures and devices
. Control of the assembly processes in nano and micron scales
. Control in micro-manufacturing
. Self-assembly
. Programmable self-assembly
. Fault tolerant manufacturing
. Nano-scale and micro-scale robotics
. Control of miniature robots
. Control of robotic swarms
. Controlling nano-scale and micro-scale biological systems
. Control of molecular processes
. Control of nano-scale imaging tools
. Quantum control
. Discrete event dynamic systems in micro-manufacturing
Paper Submission
Author(s) should submit full papers electronically in double column
PDF format. All papers will be peer-reviewed, and the selected ones
will be published in CD-ROM. Six pages are allowed per paper, and
detailed instructions for paper preparation and submission will be
available on the conference web site: http://www.ieee-case.org.
Please address all inquiries regarding the paper submission procedure
to the IEEE CASE 2007 Program Chair, Dr. Mike Tao Zhang, at
mike.zhang@cal.berkeley.edu.
Important Dates
April 30, 2007 Submission of papers (FIRM)
June 30, 2007 Paper acceptance notification to authors
July 15, 2007 Final camera-ready papers due
Track Co-Chairs:
-Prof. Babak A. Parviz, Department of Electrical Eng., University of
Washington, parviz@u.washington.edu
-Prof. Metin Sitti, Department of Mechanical Eng., Carnegie Mellon
University, msitti@andrew.cmu.edu
- Rouzbeh Touri, Coordinated Science Laboratory, University of
Illinois, touri@uiuc.edu
Please refer to the following websites for the most up-to-date
information: http://www.ieee-case.org
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IEEE CASE 2007 3RD IEEE CONFERENCE ON AUTOMATION SCIENCE AND
ENGINEERING
Scottsdale, Arizona, USA
September 22 - 25, 2007
Welcome to the third annual IEEE Conference on Automation Science and
Engineering, IEEE CASE 2007. This conference provides a forum for
researchers, academicians, and industry practitioners to discuss,
provide broad coverage, and disseminate foundational research on
automation.
The Conference includes:
Invited lectures by prominent engineers in automation fields
Oral presentations of papers in single track and parallel, organized
sessions
Panel discussions with session speakers
Tutorials on emerging fields of interest to the automation community.
Technical Program will consist of 12 technical tracks featuring:
Automation in Life Sciences & Laboratory Automation
Automation / Assembly for Micor/Nano Technologies
Construction Automation
Manufacturing Systems
Planning, Scheduling, and Coordination
RFID Application
Sensors, Instrumentation and Measurement
Semiconductor Manufacturing
Service Home Automation
Supply Chain/Logistics/Transportation
System Modeling & Simulation
Vision in Automation
Author(s) should submit full papers electronically in double column
IEEE-compliant PDF format. All papers will be peer-reviewed. Accepted
ones will be invited for both oral and poster presentations,and
published in CD-ROM. Posters will be displayed throughout the
conference and Poster Sessions will be scheduled for author/audience
interaction.
The keynote speakers will be Yu-Chi (Larry) Ho (Harvard University),
Shankar Sastry (University of California, Berkeley), and Devadas D.
Pillai (Intel Corporation)
VENUE
The venue for the conference is Scottsdale Plaza Resort . Scottsdale
is one of the most attractive vacation destinations in North America.
It is close to Grand Canyon and next to Phoenix, which is the fifth
largest city in the U.S.A.
IMPORTANT DATES
April 30, 2007 Submission of papers (FIRM!)
June 30, 2007 Acceptance notification to authors
July 31, 2007 Final Camera-ready papers due
IEEE CASE is an offspring of the flagship automation journal, IEEE
Transactions of Automation Science and Engineering, IEEE T-ASE,
http://www.ieee.org/t-ase.
IEEE CASE is sponsored by the IEEE Robotics and Automation Society
IEEE CASE 2005, IEEE CASE 2006, IEEE CASE 2007 and all subsequent
CASE manuscripts are available for download through IEEE Xplore and
all abstracts are available in the Elsevier databases Engineering
Index (EI) and Compendex.
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
DASD 2007 5TH SYMPOSIUM ON DESIGN, ANALYSIS, AND SIMULATION OF
DISTRIBUTED SYSTEMS
San Diego, California, USA
July 15 - 18, 2007
DEADLINE EXTENSION: March 15, 2007
***************************************************************
* *
* 5th Symposium on *
* *
* Design, Analysis, and Simulation of Distributed Systems *
* DASD 2007 *
* July 15 - July 18, 2007 *
* *
* Part of the Summer Computer Simulation Conference 2007 *
* organized by the SCS - co-sponsored by ACM-SigSim *
* *
* San Diego, California, USA *
* *
* http://www.fernuni-hagen.de/KN/DASD *
* *
***************************************************************
* *
* "Making simulation and analysis successful through novel *
* distributed system design, methodologies, and management" *
* *
***************************************************************
Goal and Topics of DASD 2007
****************************
The 2007 Summer Simulation Multiconference (SummerSim'07) and the
Summer Computer Simulation Conference (SCSC'07) will feature the 5th
conference on Design, Analysis, and Simulation of Distributed Systems
(DASD 2007). The conference is devoted to distributed and
complex systems.
The goal of the conference is to encourage innovation in design,
analysis and simulation of distributed systems. This includes new
technologies as well as new methodologies, new concepts and
experience reports. DASD 2007 will promote a high quality exchange of
ideas and information between universities, industry, and national
laboratories supporting the development in the design, analysis and
simulation area of next generation distributed systems which can
provide solutions to current scientific and technological challenges.
Special Areas of Interest (but not limited to)
**********************************************
* Modeling, Simulation and Evaluation
o Modeling and performance evaluation of hardware and
software
o Petri nets, Markov chains, queuing theory, UML
o Formal concepts and methods for validation and testing
o System on chip, multicore systems and embedded systems
o Reconfigurable systems and complex systems
o Numerical methods for performance approximation
o Traffic estimation for communication networks of
distributed systems
o Applications, tools, simulation languages
* Self-Organization and Distributed Systems
o Scalability and load balancing
o Data management, distributed file systems
o Self-Stabilization and learning in distributed systems
o Fault tolerance, trust and security
o Structuring and topological aspects
o Strategy learning and benchmarking
o Network building games and strategies
* Pervasive System Concepts
o P2P, cluster and grid computing approaches for simulation
o Semantic Web and P2P KM systems
o Resource management, search and location
o Protocols, algorithms and techniques to support
semantic interoperability
o Role of ontologies
o Location- and context-aware environments
o Mobile and ubiquitous P2P
Submission and Publication
**************************
Full papers March 15, 2007 (extended
deadline)
Notification of acceptance April 15, 2007
Full Camera-ready papers May 15, 2007
Conference July 15 - July 18, 2007
All prospective authors are invited to submit full papers of up to
8 pages describing their (previously unpublished) work and
achievements to DASD 2007. All submitted papers will be subject to a
peer-reviewing process by at least 3 program committee members. All
accepted papers will be published in the conference proceedings and
archived in both the SCS digital library and the ACM Digital Library.
Final version of all the papers must comply with the SCS conference
format as given in http://www.scs.org/PDFs/formattingkit.pdf
Authors of accepted papers are expected to attend the conference and
present their work.
The best contributed paper will be given an award. A selected group of
full papers will be published in the special issue of Simulation
Journal (SCS).
Please submit papers in PDF or PostScript with the authors' complete
addresses, phone, fax, and e-mail for consideration. Papers should be
submitted electronically to
http://www.softconf.com/scs/SCSC07
by indicating DASD in the workshop/track list.
International Program committee (to be completed)
*************************************************
Khalid Al-Begain, University of Glamorgan, United Kingdom
Vladimir Anisimov, GlaxoSmithKline, United Kingdom
Gilbert Babin, HEC Montreal, Canada
Kirstie Bellman, Aerospace Corporation, USA
Arndt Bode, Technische Universitaet Muenchen, Germany
Mark Burgin, University of California Los Angeles, USA
Pranay Chaudhuri, University of the West Indies, Barbados
Mario A. R. Dantas, Federal University of Santa Catarina, Brazil
Wolfgang Fengler, Technische Universitaet Ilmenau, Germany
Markus Fiedler, University of Karlskrona/Ronneby, Sweden
Juergen Foag, Rohde & Schwarz, Germany
Ricardo Fricks, Motorola Inc., USA
Stefania Gnesi, ISTI-CNR, Italy
Martin Griebl, Universitaet Passau, Germany
Hans-Michael Hanisch, Universitaet Halle, Germany
Olaf Kluge, BMW AG, Germany
Bora I. Kumova, Izmir Institute of Technology, Turkey
Pierre Kuonen, Univ. of Applied Science Fribourg, Switzerland
Victor Larios, University of Guadalajara, Mexico
Ulrike Lechner, Universitaet der Bundeswehr Muenchen, Germany
Axel Lehmann, Universitaet der Bundeswehr Muenchen, Germany
Paulo Maciel, Universidade de Pernambuco, Brazil
Shikharesh Majumdar, Carleton University, Canada
Ricardo Marcelin-Jimenez, UAM-I Mexico City, Mexico
Tiziana Margaria, Universitaet Potsdam, Germany
Martin Middendorf, Universitaet Leipzig, Germany
Jogesh K. Muppala, HKUST, Hong Kong
Hassan Rajaei, Bowling Green State University, USA
Detlef Schoder, Universitaet Koeln/Cologne, Germany
Michael Shin, Texas Tech University, USA
Sabine Wittevrongel, Ghent University, Belgium
Wlodek M. Zuberek, Memorial University of Nfld, Canada
Contact
*******
More information about DASD 2007, and the Society for Modeling and
Simulation can be found on the conference web page at:
http://www.fernuni-hagen.de/KN/DASD
If you have any problems with electronic submission please contact
either
DASD 2007
SCS, P.O. Box 17900
San Diego, CA 92177
Tel.: + (858) 277-3888
Fax: + (858) 277-3930
Email: gwainer@sce.carleton.ca
or one of the chairs of DASD:
Dietmar Tutsch, General Chair, dietmart@cs.tu-berlin.de, phone +49 30
314-73618
Peter Kropf, Co-Chair, peter.kropf@unine.ch, phone +41 32 718-
2707
Herwig Unger, Co-Chair, herwig.unger@fernuni-hagen.de, phone
+49 2331 987-1154
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
UFO'07: WORKSHOP ON UNFOLDING AND PARTIAL ORDER TECHNIQUES
Siedlce, Poland
June 25 - 26, 2007
CALL FOR PAPERS
UFO'07: Workshop on UnFOlding and partial order techniques
(a satellite event of Petri Nets 2007)
Siedlce, Poland, June 25-26, 2007
http://homepages.cs.ncl.ac.uk/victor.khomenko/UFO07/UFO-07.htm
-----------------------------------------------------------------
Tutorial
Javier Esparza Unfolding-Based Model Checking
Invited talks
Claude Jard Symbolic Unfoldings of Timed Models
Eric Fabre Modular Processing
Victor Khomenko Merged Processes of Petri Nets
Maciej Koutny Branching Processes of High-Level Petri Nets and
Model Checking of Mobile Systems
Walter Vogler Canonical Prefixes of Petri Net Unfoldings
Glynn Winskel Event Types
Alex Yakovlev Use of Partial Orders for Analysis and Synthesis
of Asynchronous Circuits
-------------------------------------------------------------------
Important Dates:
Deadline for submissions March 20, 2007
Notification of acceptance/rejection May 1, 2007
Deadline for final papers June 1, 2007
Deadline for registration May 29, 2007
Workshop June 25-26, 2007
-------------------------------------------------------------------
Scope
The scope of the workshop is the theory and applications of
Petri net unfoldings and related partial-order formalisms.
The unfolding technique was developed some time ago and is now
well established to analyse concurrent systems. Some recent
developments make it a really alive research field, and open the
way to a broad range of new applications. Let us mention for
example:
* The development of fast unfolding-based model checking
and synthesis techniques based on SAT, ILP and other
solvers.
* Unfolding techniques for high-level Petri nets, time
Petri nets and Petri nets with read and/or inhibitor
arcs.
* Symbolic unfoldings: a special structure to unfold
high-level Petri nets, where all possible values of a
token in a place are compressed into a single
parameterised representation.
* Probabilistic event structures: the idea here is to
assign probabilities to configurations, in order to have
an equivalence between concurrency and stochastic
independence.
* Merged processes or trellis processes: a more compact
structure than unfoldings to represent all possible
configurations of a concurrent system.
* Modular processing based on unfoldings: the idea is to
use the fact that the unfolding of a product of
components is the product (in a different sense) of
unfoldings of these components. Therefore some
processing can be performed by parts. This is used in
distributed diagnosis applications for example.
* The emergence of unfolding techniques in the discrete
event systems community, for diagnosis and control of
large distributed systems.
The objective of this workshop is twofold:
* To bring together researchers working on different
aspects of the unfolding theory, and
* To popularise unfoldings in the research and industry
communities.
To achieve these objectives, an important part of this two-day
workshop is devoted to invited and tutorial talks. The remaining
time slots are reserved to original contributions on the
subject, focusing on research aspects, applications or tool
developments.
---------------------------------------------------------------------
Submissions
The program committee invites submissions of papers (up to 15
pages). The papers must be in English and contain original
contributions that have not been published or submitted to other
conferences/journals in parallel with this workshop.
Papers are to be submitted through the easychair portal:
http://www.easychair.org/UFO07/
Submission Guidelines
Please use the LaTeX document class llncs.cls for your
contributions. An up-to-date version of llncs.cls together with
the documentation can be found at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip
The submissions will be evaluated by the programme
committee. Accepted papers will be included in the workshop
proceedings which will be available at the workshop. Some of
the best papers from the workshop will be invited for
publication in a volume of a new journal subline of Lecture
Notes in Computer Science entitled "Transactions on Petri
Nets and Other Models of Concurrency" (ToPNoC). The papers
are expected to be thoroughly revised and they will go
through a totally new round of reviewing as is standard
practice for journal papers.
---------------------------------------------------------------------
Program Committee
Jean-Michel Couvreur
Javier Esparza
Eric Fabre (co-chair)
Keijo Heljanko
Claude Jard
Victor Khomenko (co-chair)
Maciej Koutny
Christian Stehno
Walter Vogler
Alex Yakovlev
Organisers
Eric Fabre
INRIA/IRISA, Rennes, France
E-mail: eric.fabre@irisa.fr
Victor Khomenko
School of Computing Science, University of Newcastle upon Tyne, UK
E-mail: Victor.Khomenko@ncl.ac.uk
------------------------------------------------------------------
Registration & Accommodation
Please register for the UFO workshop at the registration site of
the Petri Nets 2007 conference at
http://atpn2007.ap.siedlce.pl
Note that if you only want to attend the UFO workshop then you
have to register only for it, i.e. you do not have to pay for
the full 5 day programme.
Information about how to get to Siedlce and to the conference
site and about hotels can be found at
http://atpn2007.ap.siedlce.pl
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
17TH WORLD CONGRESS OF INTERNATIONAL FEDERATION OF AUTOMATIC CONTROL
Seoul, Korea
July 6 - 11, 2008
IFAC WORLD CONGRESS
The 17th IFAC World Congress will be held July 6-11, 2008 in Seoul,
Korea. Every three years the IFAC Congress brings together
professionals, managers and decision-makers, industrial engineers,
researchers and scientists, students and professors, all involved in
the broad field of automatic control and its related fields. The 16th
Congress took place in Prague in 2005 and more then 3,200 papers were
submitted and over 2,400 scholars from 63 nations came to Prague.
Hopefully the Seoul Congress will be as much successful as its
preceding congresses.
SCOPE
Topics of Interest include, but are not limited to, the following:
- Systems and Signals: Modelling, Identification and Signal
Processing, Adaptive and Learning Systems, Discrete Event and Hybrid
Systems, Stochastic Systems, Networked Systems
- Design Methods: Control Design Methodology, Linear Control
Systems, Non-Linear Control Systems, Optimal Control, Robust Control
- Computers, Cognition and Communication: Computers for Control,
Cognition and Control, Computers, Communication and Telematics
- Mechatronics, Robotics and Components: Components and Technologies
for Control, Mechatronic Systems, Robotics, Cost Oriented Automation,
Human Machine Systems
- Manufacturing Systems: Manufacturing Plant Control, Manufacturing
Modelling for Management and Control, Enterprise Integration and
Networking, Large Scale Complex Systems
- Industrial Systems: Chemical Process Control, Mining, Mineral and
Metal Processing, Power Plants and Power Systems, Fault Detection,
Supervision & Safety of Technical Processes
- Transportation and Vehicle Systems: Automotive Control, Marine
Systems, Aerospace, Transportation Systems, Intelligent Autonomous
Vehicles
- Bio and Ecological Systems: Control in Agriculture, Modelling and
Control of Biomedical Systems, Modelling and Control of Environmental
Systems, Biosystems and Bioprocesses
- Social Systems: Economic and Business Systems, Social Impact of
Automation, Control Issues for Developing Countries, Control
Education, International Stability
SPECIAL FEATURES OF IFAC2008
- Best Chance to See Strong Korean Industries: Come and see Korea, a
world leader in semiconductors, LCD displays, consumer electronics,
mobile phones, automobiles, ship building, and iron making.You can
learn how a developing country has achieved this status.
- Easy accessibility to China and Japan: You will have a good
opportunity to look around our neighbors: China and Japan.
- Experience of Korean Hospitality: All congress programs will be
available at the reasonably low registration fee in 2008. Also you
will take advantage of the unique conference-providing human network
program through which you can meet the graduates from your university.
- Digital Conference: Korea is a leading player in information and
communication technology. Cutting-edge digital technology will be
integrated into the conference.
- Excellent Facilities for Congress Venue: The COEX convention
center is located in the core of Seoul and is proud of its grand
convention halls. Furthermore, the super-scale cultural complex, COEX
Mall will offer everything from international foods, the latest books
and CDs, cinema, aquarium, and shopping centers.
INTERNATIONAL PROGRAM COMMITTEE
IPC Chairs Dong-il Dan Cho, Seoul National University (KR)
Shinji Hara, University of Tokyo (JP)
IPC Advisors
Vladimir Kucera (CZ)
Alberto Isidori (IT)
Sirkka-Liisa Jamsa-Jounela (FI)
Mike Masten (US)
Peter Fleming (UK)
Lino Guzzella (CH)
Luis Basanez (ES)
Ian K. Craig (ZA)
Carlos E. De Souza (BR)
A. Talha Dinibutun (TR)
Jean-Michel Dion (FR)
Rob Evans (AU)
Lei Guo (CN)
Abraham Haddad (US)
Rolf Isermann (DE)
Hidenori Kimura (JP)
Alexander B. Kurzhanski (RU)
Marek B. Zaremba (CA)
IMPORTANT DATES
June 1, 2007 --- Submission site for contributions opens
September 8, 2007 --- Deadline for submissions of full draft
contributed papers and invited session proposals
September 8, 2007 --- Deadline for submissions of
tutorial/workshop/panel session proposals
December 15, 2007 --- Notification of acceptance
March 1, 2008 --- Deadline for final submissions of all papers
IFAC'08 Secretariat
ERC-ACI, Bldg.133
Seoul National University, Seoul 151-742, Korea
Tel:+82-2-885-3930 Fax:+82-2-871-2527
Email:secretariat@ifac2008.org
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
PNSE'07 INTERNATIONAL WORKSHOP ON PETRI NETS AND SOFTWARE ENGINEERING
Siedlce, Poland
June 25 - 26, 2007
A satellite event of Petri Nets 2007
28th International Conference on Application and Theory of
Petri Nets and Other Models of Councurrency
Contact e-mail: pnse07_at_informatik_dot_uni-hamburg_dot_de
----------------------------------------------------------------------
Some of the best papers from the workshop will be invited for
publication in a volume of a new journal subline of Lecture Notes in
Computer Science entitled "Transactions on Petri Nets and Other
Models of Concurrency" (ToPNoC). The papers are expected to be
thoroughly revised and they will go through a totally new round of
reviewing as is standard practice for journal papers.
----------------------------------------------------------------------
Scope
For the successful realisation of complex systems of interacting and
reactive software and hardware components the use of a precise
language at different stages of the development process is of crucial
importance. Petri nets are becoming increasingly popular in this
area, as they provide a uniform language supporting the tasks of
modelling, validation and verification. Their popularity is due to
the fact that fundamental aspects of causality, concurrency and
choice are captured by Petri nets in a natural and mathematically
precise way without compromising readability.
The workshop PNSE'07 (Petri nets and Software Engineering) will take
place as a satellite event of the 28th International Conference on
Application and Theory of Petri Nets and Other Models of Concurrency
in Siedlce, Poland, June 25-29, 2007.
The use of Petri nets (P/T-nets, coloured Petri nets and extensions)
in the formal process of software engineering, covering modelling,
validation, and verification, will be presented as well as their
application and tools supporting the disciplines mentioned above.
----------------------------------------------------------------------
Topics
Contributions describing original research in topics related to Petri
nets in combination with software engineering addressing open
problems or presenting new ideas regarding the relation of Petri nets
and software engineering. Furthermore surveys addressing open
problems and new applications of Petri nets are being sought. Topics
of interest include but are not limited to:
Modelling
representation of formal models by intuitive modelling concepts
guidelines for the construction of system models
representative examples
state-, event-, object-, and agent-oriented approaches
adaption, integration, and enhancement of concepts from other
disciplines
views and abstractions of systems
model driven architecture
modelling software landscapes
web service based software development
Validation and Execution
prototyping
simulation, observation, animation
code generation and execution
testing and debugging
efficient implementation
Verification
structural methods (e.g. place invariants, reduction rules)
results for structural subclasses of nets
relations between structure and behaviour
state space based approaches
efficient model checking
assertional and deductive methods (e.g. temporal logics)
process algebraic methods
applications of category theory and linear logic
Application of Petri nets in Software Engineering, in particular the
use of Petri nets in the domains of
flexible manufacturing,
logistics,
telecommunication, and
workflow management.
Tools in the fields mentioned above
----------------------------------------------------------------------
Invited Speaker
Kees van Hee
Eindhoven University of Technology
The Netherlands
Frameworks for Software Architecture
Abstract
The architecture of a software system is a set of models describing
different parts or different aspects of the system. These different
models present different views on the system and these views should
be consistent and complete. Consistency means that it is impossible
to derive a contradiction form two or more different views.
Completeness means that all relevant aspects of the system are
covered by the views, so it must be possible to construct an
acceptable system without further information. An architecture is not
only used to design a system. It is also used to analyze the behavior
of the system, in particular performance analysis and conformance
analysis. Last but not least an architecture is also used for the
management and maintenance of a system. There are many languages and
frameworks to define architectures. Service oriented architecture can
be considered as a style of architecture. Most frameworks for
architecture are biased toward one type of view, for instance the
components structure. We will focus on architectural frameworks in
which the following four elements are first class citizens:
components, processes, data models and operations. This allows us to
have different views on the same software system. In the talk we will
make a step towards a modeling framework where these concepts fit
together in a natural way and which allows for verification.
----------------------------------------------------------------------
Organization committee
Remi Bastide (University of Toulouse, France),
Jose-Manuel Colom (University of Zaragoza, Spain),
Kees van Hee (Eindhoven University of Technology, The Netherlands),
Fabrice Kordon (University Pierre et Marie Curie-CNRS 4, Paris,
France),
Daniel Moldt (University of Hamburg, Germany)
----------------------------------------------------------------------
Programme committee
Wil van der Aalst (The Netherlands)
Remi Bastide (France)
Jonathan Billington (Australia)
Didier Buchs (Switzerland)
Piotr Chrzastowski-Wachtel (Poland)
Jose-Manuel Colom (Spain)
Joerg Desel (Germany)
Jorge C. A. de Figueiredo (Brasil)
Giuliana Franceschinis (Italy)
Nicolas Guelfi (Luxembourg)
Kees van Hee (The Netherlands)
Johan Lilius (Finland)
Jens Baek Jorgensen (Denmark)
Ekkart Kindler (Germany)
Astrid Kiehn (India)
Michael Koehler (Germany)
Fabrice Kordon (France)
Gabriele Kotsis (Austria)
Maciej Koutny (UK)
Sadatoshi Kumagai (Japan)
Charles Lakos (Australia)
Rainer Mackenthun (Poland)
Daniel Moldt (Germany)
Heiko Roelke (Germany)
Mark-Oliver Stehr (USA)
Tomas Vojnar (Czech Republic)
Danny Weyns (Belgium)
Jianli Xu (Finland)
Wlodek M. Zuberek (Canada)
----------------------------------------------------------------------
Registration & Accommodation
Please register for the PNSE'07 workshop at the registration site of
the Petri Nets 2007 conference (later).
Information about how to get to Siedlce and to the conference site
and about hotels can be found at the conference web site (later).
----------------------------------------------------------------------
Submissions
The programme committee invites submissions of full contributions (up
to 15 pages) or short contributions (up to 5 pages). Ongoing work (up
to 2 pages) can also be presented in a special poster session.
Please note that for full contributions up to 15 pages are
recommended. However, up to 20 pages can be used for the
preproceedings. Nevertheless only 15 pages will be allowed for the
possible postproceedings papers.
Papers should be submitted in electronic form (PDF) using the
Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html).
Submissions should include title, author's address and email, and an
abstract. For your submission in PDF format please use the online
conference management system at
https://www.informatik.unihamburg.de/TGI/events/pnse07/conftool/index.
php
Just create a new account and then upload your paper. (Later you will
be able to see your reviews there.)
The papers will be peer reviewed by at least two members of the PC.
Accepted papers will be included in the workshop proceedings which
will be available at the workshop.
In case of any problems please contact us by email at
pnse07_at_informatik_dot_uni-hamburg_dot_de.
----------------------------------------------------------------------
Important Dates
Deadline for submissions: April 1, 2007
Notification of acceptance: April 22, 2007
Deadline for final papers: May 19, 2007
Workshop: June 25-26, 2007
Accepted papers will be included in the workshop proceedings which
will be available at the workshop.
The submissions will be evaluated by the international programme
committee.
Some of the best papers from the workshop will be invited for
publication in a volume of a new journal subline of Lecture Notes in
Computer Science entitled "Transactions on Petri Nets and Other
Models of Concurrency" (ToPNoC). The papers are expected to be
thoroughly revised and they will go through a totally new round of
reviewing as is standard practice for journal papers.
For further information on PNSE'07 contact the programme committee by
email at pnse07_at_informatik_dot_uni-hamburg_dot_de
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING 2007 (IEEE CASE
2007)
Scottsdale, Arizona, U.S.A
September 22 - 25, 2007
Sponsored by IEEE Robotics and Automation Society
Proceedings indexed by: Elsevier databases Engineering Index (EI) and
Compendex.
The third annual IEEE Conference on Automation Science and
Engineering 2007 (IEEE CASE 2007), sponsored by the IEEE Robotics
and Automation Society, will be held on September 22 to 25, 2007 in
Scottsdale, Arizona, U.S.A. The goal is for broad coverage and
dissemination of foundational research on automation among
researchers, academicians, and industry practitioners. The focus is on
scientific methods for automating machines and systems operating in
structured environments over long periods, and also for the explicit
structuring of environments. CASE is an offspring of IEEE Transactions
on Automation Science and Engineering, IEEE T-ASE,
http://www.ieee.org/t-ase. High quality CASE papers will be
recommended for publication in this flagship automation journal.
The technical program of IEEE CASE will consist of tutorials,
workshops, invited talks, paper presentations, posters, and panel
discussions.
Papers describing original work on abstractions, algorithms, theories,
methodologies, and case studies are invited including but not limited
to the following areas:
. Ambient Intelligence
. Automatic Identification and Security
. Automation in Life Sciences: Biotechnology, Pharmaceutical,
and Health Care
. Construction Automation
. Discrete Event Dynamic Systems
. Food Handling and Processing
. Home, Laboratory, and Service
. Human-Machine Interaction & Coordination
. Instrumentation & Measurement
. Laboratory Automation
. Manufacturing, Maintenance, & Supply Chain
. Multi-sensor Fusion and Integration
. Micro/Nano-scale Automation and Assembly
. Product Design, Development, & Prototyping
. Planning, Scheduling, and Coordination
. RFID Application
. Semiconductor Manufacturing
. System Modeling, Analysis, and Performance Evaluation
. Intelligent Transportation
. Virtual Reality in Automation
. Manufacturing Automation
Paper Submissions: Author(s) should submit full papers electronically
in double column IEEE-compliant PDF format. All papers will be peer-
reviewed. Accepted ones will be invited for both oral and poster
presentations, and published in CD-ROM. Posters will be exhibited
throughout the conference and Poster Sessions will be scheduled for
author/audience interaction. Six pages are allowed per paper, and
detailed instructions for paper preparation and submission will be
available on the conference web site: http://www.ieee-case.org.
Venue: The venue for the conference is Scottsdale Plaza Resort.
Scottsdale is one of the most attractive vacation destinations in
North America. It is close to Grand Canyon and next to Phoenix, which
is the
fifth largest city in the U.S.A.
Important Dates:
April 30, 2007 Submission of papers (FIRM!)
June 30, 2007 Paper acceptance notification to authors
July 31, 2007 Final Camera-ready papers due
General Chair:
Deirdre Meldrum
Dean, Ira A. Fulton School of Eng.
Arizona State University, U.S.A.
dmeldrum@asu.edu
Program Chair:
Mike Tao Zhang
Intel Corporation, U.S.A.
mike.zhang@cal.berkeley.edu
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
3RD ASME/IEEE INTERNATIONAL CONFERENCE ON MECHATRONIC AND EMBEDDED
SYSTEMS & APPLICATIONS (MESA07)
Las Vegas, Nevada, USA
September 4 - 7, 2007
The 3rd ASME/IEEE International Conference on Mechatronic and Embedded
Systems & Applications (MESA07), after successful MESA05 (Long Beach,
CA) and MESA06 (Beijing, China), will be held in Rio All-Suite Hotel
& Casino, Las Vegas, Nevada, USA, September 4-7, 2007. Mechanical and
electrical engineering show an increasing integration of mechanics
with electronics and information processing. This integration is
between the components (hardware) and the information-driven
functions (software), resulting in integrated systems called
mechatronic systems. The development of mechatronic systems
involves finding an optimal balance between the basic mechanical
structure, sensor and actuator implementation, automatic digital
information processing and overall control for which embedded systems
play a key role. The field of embedded system is getting more and
more challenging, and issues in development of embedded software are
attracting attention of an increasing number of researchers both in
industry and academia. The goal of MESA07 is to bring together
experts from the fields of mechatronic and embedded systems to
disseminate the recent advances made in the area, discuss the future
research directions, and exchange application experience with respect
to the conference themes.
Conference Topics and Symposia Chairs:
+ Machines for Human Augmentation and Rehabilitation
Symposium Chair: Sunil Kumar Agrawal, U. of Delaware, USA
+ Mechatronic Systems
Symposium Chair: Jian Dai, King's College London, UK
+ Networked Mechatronic and Embedded Systems
Symposium Chair: Bo Chen, U. of California, Davis, USA
+ Mechatronic and Embedded Systems in Education
Symposium Chair: Jia Xu, York University, Canada
+ Development, Verification, and Debug Tools for Mechatronic
and Embedded Systems
Symposium Chair: Michael J. Pont, Univ. of Leicester, UK
+ Embedded System Infrastructure and Theory
Symposium Chair: Martin Horauer, U. of Applied Sci. Tech.
Vienna, Austria
+ Mechatronic and Embedded System Applications
Symposium Chair: Primo Zingaretti, U. of Politechnica
delle Marche, Italy
+ Mechatronics Control and Automation
Symposium Chairs: Chunjiang Qian and Michael T. Frye,
U. of Texas at San Antonio
+ Sensor and MEMS
Symposium Chair: V. Sundararajan, UC Riverside, USA
+ Other special topics
Chair: Hami Kazerooni, UC Berkeley, USA
Paper Submission:
To Submit your paper, please create an author account first,
https://www.asmeconferences.org/IDETC07/Author/NewAbstract.cfm
and log in the system to submit your paper following the instructions.
Check https://www.asmeconferences.org/IDETC07/AuthorResources.cfm
for further details.
Please refer to the following websites for the most up-to-date
information:
ASME/IEEE MESA'07 http://www.asmemesa.org/mesa07 and
ASME https://www.asmeconferences.org/IDETC07/
Program Committee:
http://www.asmemesa.org/mesa07/mesa07_ipc.html
CFP Doc file: http://www.asmemesa.org/mesa07/call_for_paper07.doc
ASME/IEEE MESA07 (www.asmemesa.org)
(http://www.asmeconferences.org/IDETC07/)
General Chair: Fei-Yue Wang, University of Arizona
General co-Chair: Harry H. Cheng, UC Davis
Program Chair: YangQuan Chen, Utah State Univ.
web site: click here
Contributed by: Mariagrazia Dotoli <dotoli@deemail.poliba.it>
2007 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS (IECON
2007)
Taipei,Taiwan
November 8 - 11, 2007
The 2007 IEEE International Conference on Industrial Electronics
(IECON'2007) will be held in Grand Hotel Taipei,Taiwan from November
8 to 11, 2007.
All information about the symposium (Call for Papers, submission
instructions, venue, etc.) is available at the website of IECON2007:
http://iecon07.ccu.edu.tw
You are kindly invited to submit original, prevously unpublished
works within the scope of IECON'2007, by the following
deadlines.
Special Sessions Proposals Submission Deadline: March 20, 2007
Contributed Papers/Videos Submission Deadline: April 2, 2007
Tutorials/Workshops Proposals Submission Dadline: April 2, 2007.
All submissions are to be conducted through the web. Detailed
instructions can be found at http://iecon07.ccu.edu.tw The topics of
interest are organized in 8 technical tracks:
o Control Systems & Applications
o Electrical Machines & Drives
o Power Electronics
o Sensors, Actuators and Systems Integration
o Signal & Image Processing
o Industrial Informatics
o Intelligent Robotics
o Hands-on Intelligent Mechatronics and Automation
Proposals for special sessions/workshops/tutorials/Panel Discussions
are also welcome, aimed at promoting discussion on relevant and
timely topics within the above mentioned technical tracks. We look
forward to meeting you in Taipei in November 2007.
web site: click here
Contributed by: Ryan Leduc <leduc aT mcmaster dOt ca>
SELECTIONS FROM INTERNATIONAL JOURNAL OF CONTROL
VOLUME 80, ISSUE 4
APRIL, 2007
1) Role of cooperation in coupling game theory
M. Wei, J. B. Cruz
Abstract:
A coupling game is a new model for partly cooperative and partly
non-cooperative games. This paper describes benefits that result when
coupling rational cooperation, under some situations, is increased. We
prove that if a coupling game is strictly rational and partly
cooperative, the higher the coupling factors, the larger the social
payoff, which is the sum of the payoffs of all players. Other
properties of cooperation in coupling game theory and possible
applications are discussed.
web site: click here
Contributed by: Ryan Leduc <leduc aT mcmaster dOt ca>
SELECTIONS FROM IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
VOL. 33, NO. 4
APRIL, 2007
1) Model Checking Markov Chains with Actions and State Labels
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz,
Markus Siegle
Abstract:
In the past, logics of several kinds have been proposed for reasoning
about discrete-time or continuous-time Markov chains. Most of these
logics rely on either state labels (atomic propositions) or on
transition labels (actions). However, in several applications it is
useful to reason about both state properties and action sequences. For
this purpose, we introduce the logic asCSL which provides a powerful
means to characterize execution paths of Markov chains with actions and
state labels. asCSL can be regarded as an extension of the purely
state-based logic CSL (continuous stochastic logic). In asCSL, path
properties are characterized by regular expressions over actions and
state formulas. Thus, the truth value of path formulas depends not only
on the available actions in a given time interval, but also on the
validity of certain state formulas in intermediate states. We compare
the expressive power of CSL and asCSL and show that even the
state-based fragment of asCSL is strictly more expressive than CSL if
time intervals starting at zero are employed. Using an automaton-based
technique, an asCSL formula and a Markov chain with actions and state
labels are combined into a product Markov chain. For time intervals
starting at zero, we establish a reduction of the model checking
problem for asCSL to CSL model checking on this product Markov chain.
The usefulness of our approach is illustrated with an elaborate model
of a scalable cellular communication system, for which several
properties are formalized by means of asCSL formulas and checked using
the new procedure.
web site: click here
Contributed by: Ryan Leduc <leduc aT mcmaster dOt ca>
SELECTIONS FROM AUTOMATICA
VOL. 43, ISSUE 4
APRIL, 2007
1) Decentralized supervisory control of discrete event systems with
communication delays based on conjunctive and permissive decision
structures
Seong-Jin Park and Kwang-Hyun Cho
Abstract:
In many practical discrete event systems (DESs), some unexpected and
uncontrollable events can subsequently occur before a proper control
action is actually applied to a plant due to communication delays. For
such DESs, this paper investigates necessary and sufficient conditions
for the existence of a nonblocking decentralized supervisor that can
correctly achieve a given language specification when the decentralized
supervisor is assumed to have a conjunctive and permissive decision
structure. In particular, this paper presents a notion of
delay-coobservability for a given language specification and shows that
it is a key condition for the existence of such a decentralized
supervisor.
web site: click here
The End
|
[Home]
[Members]
[Newsletters]
[Conferences]
[DES Researchers]
[Links]
Please send suggestions to:
Ryan Leduc,
destc@cas.mcmaster.ca
|
