(Since July 20th, 2005)
Register now to attend the conference!
Students: read about free workshop registration
The following pre-conference workshops will be held at the Hilton Atlanta Hotel in Atlanta, Georgia, USA, starting at 8 AM on December 14, 2010, the day before the 49th IEEE Conference on Decision and Control
W1: Adaptive Networks and Bio-Inspired CognitionAli H. Sayed (University of California, Los Angeles, USA) | Room 214
The emerging interest in cognitive and self-organizing networks is motivating heightened research on collaborative processing strategies that enable networks to respond to information in real-time. Adaptive networks are well-suited to perform decentralized information processing and inference tasks. They are also well-suited to model self-organizing behavior such as animal flocking and swarming. These networks avoid centralized processing and perform in-network inference and control decisions without relying on omnipotent fusion agents. This is because solutions that rely on information fusion are not scalable, are hard to adapt to changing network conditions, and create single points of vulnerability and information bottlenecks. Adaptive networks consist of spatially distributed agents that are linked together through a connection topology. The topology may vary with time and the nodes may also move. The agents cooperate with each other through local interactions and by means of in-network processing. The diffusion of information across the network results in self-organizing behavior and improved adaptation and learning relative to non-cooperative networks. One property of adaptive networks is that there are no super-agents leading the learning process. Agents generally behave in an isotropic manner and are assumed to have similar abilities. This kind of behavior is common in many socio-economic and biological networks where no single agent is in command and where forms of self-organization and decentralized intelligence are evident. Examples include herding behavior in economics, fish joining together in schools, birds flying in formation, bees seeking a new hive, etc. These observations create opportunities for collaborative research across several domains including economics, life sciences, and information processing. This tutorial describes recent developments in distributed processing over adaptive networks and discusses diffusion adaptation mechanisms that allow neighboring nodes to communicate with each other in real-time. Various applications are considered including distributed localization, tracking, filtering and estimation, self-organization in bird formations, fish schooling, bacteria motility, and bee swarming.
W2: Correct-by-design embedded control software synthesisAntoine Girard (Universite Joseph Fourier, France), Giordano Pola (University of l’Aquila, Italy), Paulo Tabuada (University of California, Los Angeles, USA) | Room 213
Additional Participants: Manuel Mazo Jr. (University of California, Los Angeles, USA) and Pritam Roy (University of California, Los Angeles, USA)
Embedded control systems are examples of more general cyber-physical systems that tightly coordinate discrete computation with the continuous control of physical resources. Advances in the design of cyber-physical systems hold the promise of bringing a sea of change in many different domains in which computation interacts with the physical world such as autonomous vehicles, robotic surgery, transportation networks, power-grids, etc. Unfortunately, design principles for such systems are still not understood. For this reason, formal verification of embedded control software is currently the only existing methodology capable to providing assurances of correct behavior and desired performance. Despite recent advances in hybrid systems, formal verification is only applicable to systems with relatively simple continuous dynamics. In this workshop we introduce a different paradigm, termed correct-by-design synthesis, that leads to provably correct embedded control software. Building on recent results on approximate abstractions of control systems, we will present a design methodology that is applicable to a large class of control systems including nonlinear and switched systems. We will also introduce the participants to the Matlab based tool Pessoa that automates the design process. The workshop includes a hands-on tutorial of Pessoa during which the participants will install Pessoa in their own computers and will synthesize several controllers enforcing a mix of continuous control requirements with logic requirements. This workshop is supported by the recently published book "Verification and Control of Hybrid Systems: A Symbolic Approach Paulo Tabuada Springer, 2009."
W3: Half-Century’s Excellence in Systems and Control Engineering – A workshop dedicated to Professors Brian D O Anderson’s 70th BirthdayArvin Dehghani (Australian National University, Australia) and Changbin (Brad) Yu (Australian National University, Australia) | Room 212
Additional Participants: Manfred Deistler (Technical University of Vienna, Austria), Steve Morse (Yale University, USA), Shinji Hara (University of Tokyo, Japan), Bob Bitmead (University of California, San Diego, USA), Soura Dasgupta (University of Iowa, USA), Rod Kennedy (Australian National University, Australia)
The exceptional career of Professor Brian D. O. ANDERSON (IEEE Life Fellow, IFAC Fellow) in the Systems and Control community deserves a special celebration at the CDC’10, which coincides with his 70th birthday. Professor Anderson was born in Sydney, Australia. He took his undergraduate degrees in Mathematics and Electrical Engineering at Sydney University, and his doctoral degree in Electrical Engineering at Stanford University in 1966. He worked in industry in the United States and at Stanford University before serving as Professor of Electrical Engineering at the University of Newcastle, Australia from 1967 through 1981. He then became the first Engineering Professor and Head of the Department of Systems Engineering, at the Australian National University, where he was Director of the Research School of Information Sciences and Engineering from 1994-2002, and is now Distinguished Professor. In 2002-3, he was interim CEO of National ICT Australia, and then served as Chief Scientist until mid 2006. He is Fellow of the Australian Academy of Science and Academy of Technological Sciences and Engineering, Honorary Fellow of the Institution of Engineers, Australia, Fellow of the Royal Society and Foreign Associate of the US National Academy of Engineering. He holds honorary doctorates from the Université Catholique de Louvain, Swiss Federal Institute of Technology (Zürich) and the Universities of Sydney, Melbourne, Newcastle and New South Wales. In 1998 he was elected President of the Australian Academy of Science for a four-year term. Professor Anderson held a number of offices in IFAC, including the Presidency from 1990 to 1993. His awards include the IFAC Quazza Award, and from the IEEE Control Systems Field Award, the Control Systems Society Bode Prize, the IEEE James H Mulligan Jr. Education Medal, the Circuits and Systems Society Guillemin-Cauer Award (twice) and the Senior Award of the Acoustics, Speech and Signal Processing Society.Workshop website
W4: Verification of Control SystemsUfuk Topcu (California Institute of Technology, USA), Bruce H. Krogh (Carnegie Mellon University, USA) | Room 202
Additional Presenters: Patrick Cousot (New York University, USA), Emilio Frazzoli (Massachusetts Institute of Technology, USA), Richard Murray (California Institute of Technology, USA), George Pappas (University of Pennsylvania, USA), Andre Platzer (Carnegie Mellon University, USA), Claire Tomlin (University of California, Berkeley, USA)
Model-based development of control systems makes it possible to verify the correctness of designs using simulation and formal methods before the control system is implemented. With recent convergence of controls, computation, and communication, there is a need for unified theories and algorithms. Despite advances in verification tools in controls and computer science, such unification is in its infancy. Moreover, rigorous verification for systems of current interest is a complicated task due to common difficulties including the interaction between the software and the physical world, untraditional information flow, modeling/environmental uncertainties, and unavoidable explosion of computational complexity of the currently available tools. This pre-conference workshop aims to introduce fundamental concepts that have been used in formal verification of continuous, discrete, and hybrid control systems, and present recent advances in the application of these methods to control systems. The connections between the underlying theory, accompanying computational tools, and illustrative applications will be emphasized. The morning session consists of tutorial-type presentations covering the foundations of formal verification of continuous, discrete, and hybrid systems and current tools with motivating examples. The afternoon session comprises 45-minute presentations on current research on the theory and applications of formal verification methods for control systems in a variety of application domains.Workshop website
W5: Smart Grids: New Challenges for Control Systems SocietyNader Motee (California Institute of Technology, USA), Steven Low (California Institute of Technology, USA), Radhakisan S. Baheti (National Science Foundation, USA) | Room 201
Additional Participants: Marija D. Ilic (Carnegie Mellon University, USA), Sean Meyn (University of Illinois at Urbana-Champaign, USA), Tariq Samad (Honeywell, USA), Eduardo F. Camacho (University of Seville, Spain), Anders Rantzer (LTH Lund University, Sweden), Joe H. Chow (Rensselaer Polytechnic Institute, USA)
The centralized and stationary power distribution network is transforming to a distributed, mobile, and smart power grid. The envisioned smart grid is an urgent global priority as its economic, environmental, and societal benefit will be enjoyed by next generations. Control, information, and communications technologies are at the core of the smart grid vision. The main theme of this workshop is to provide new insights in the following features of the envisioned smart grid: demand response, power delivery, renewables integration, grid reliability and resilience through decentralization. The proposed workshop aims at clarifying and addressing these central research challenges. The goal of this workshop is to bring together leading researchers in the emerging field of smart grids to foster interdisciplinary communication and collaboration. The invited speakers in this workshop have been pioneers in developing tools and frameworks necessary to design and implement the envisioned smart grid. The workshop focuses on novel directions in smart grids research within control systems, operational research, and economics. The primary objective of the workshop is to facilitate interactions between researchers from different disciplines interested in designing and implementing the envisioned smart grid. This workshop offers a series of presentations introducing tools and basic results from a variety of research areas of major interest for the study of smart grids such as the emerging fields of control systems, operational research, and economics. The broader impact of the proposed workshop will be to inspire the research community on new directions in control systems associated with smart grids. We believe that by presenting challenging and important problems to the control community in a coherent fashion, it will help attract new researchers and graduate students. There are tremendous intellectual opportunities in these areas, in which the control community has a good opportunity to contribute and to cooperate with researchers from other fields.Workshop website
W6: The 2nd Workshop on Formal Methods for Aerospace (FMA@CDC'2010)Manuela L. Bujorianu (University of Manchester, UK), Michael Fisher (University of Liverpool, UK), Maria Prandini (Politecnico di Milano, Italy) | Room 209
Additional Participants: Henk A.P. Blom (National Aerospace Laboratory NLR, The Netherlands), Emilio Frazzoli (Massachusetts Institute of Technology, USA), E. Joost-Pieter Katoen (RWTH Aachen, Germany), John Lygeros (ETH Zurich, Switzerland), Sayan Mitra (University of Illinois at Urbana Champaign, USA), Antonios Tsourdos (University of Cranfield, UK)
Aerospace applications and formal methods are topics of large interest for the control community. In particular, symbolic methods for complex control systems inspired by formal methods in computer science have been studied in the latest decade. The aim of the FMA@CDC is twofold: to encourage the development of interdisciplinary methods and, in particular, to leverage formal methods with control theoretic techniques in aerospace applications. With these goals in mind, the CDC conference appears to be an ideal venue for the FMA workshop. The first edition of the Formal Methods for Aerospace (FMA) workshop took place on November 3, 2009 in Eindhoven, the Netherlands. It was a satellite event of Formal Methods Week (FM Week) 2009, the largest event in formal methods with more than 700 participants. The workshop proceedings have been published as the Volume 20 of the Electronic Proceedings in Theoretical Computer Science.Workshop website Note: this workshop was previously canceled, but funding has now been procured to host it
IEEE 802.15.4 Wireless Sensor Network Technology, its Challenges and Applications in Development of Networked Control, Fault Diagnosis and Estimation SystemsS. M. Mahdi Alavi (Simon Fraser University, Canada), Mehrdad Saif (Simon Fraser University, Canada)
Additional Participants: Carlo Fischione (Royal Institute of Technology, Sweden), Martin Hayes (University of Limerick, Ireland), Karl Henrik Johansson (Royal Institute of Technology, Sweden), Yasamin Mostofi (University of New Mexico, USA), Ioannis (Yannis) Paschalidis (Boston University, USA), Esmaeil Shahrak Nadimi (University of Southern Denmark, Denmark), Jagannathan Sarangapani (Missouri University of Science and Technology, USA)
IEEE 802.15.4 is a standard that defines the Physical Layer (PHY) and Medium Access Control (MAC) specifications for low data rate, low power and low complexity, short-range radio frequency transmissions in a wireless personal area network. A number of state of the art IEEE 802.15.4 wireless sensor node platforms, (e.g., Tmote, Mica, and more recently Sentilla), are now at advanced stages of commercial development for deployment in many civilian and industrial applications areas, including environment and habitat monitoring, health care applications, home automation, transportation systems that facilitate collection, monitoring and control of data from remote locations. This is a one-day workshop focusing on IEEE 802.15.4 Wireless Sensor Network (WSN) technology that specifically covers the following contexts. 1) An introduction to the IEEE 802.15.4 WSN technology. 2) Control theory aspects of the IEEE 802.15.4 WSN technology. 3) Applications of the IEEE 802.15.4 WSN technology in control, fault diagnosis and estimation systems. Recent achievements,open problems and future directions of research regarding these themes are presented and discussed. It is further described how to design and implement an experimental test-bed by using the IEEE 802.15.4 platforms and, how to implement controller, monitoring and fault diagnosis modules. Tinyos operating system, NesC language and software environment which are employed for programming an IEEE 802.15.4 WSN platform are also reviewed.Workshop website
W8: Applied Fractional Calculus in Controls and Signal ProcessingYangQuan Chen (Utah State University) | Room 207
Additional Participants: Yan Li (Shandong University, China), Vicente Felieu (Universidad de Castilla-La Mancha, Spain) and Dingyu Xue (Northeastern Univ., China)
The last two decades have witnessed rapidly-growing research activities on theoretical, experimental, and numerical investigations into so-called "anomalous" social and physical behaviors, where the standard models cease to work. Scaling power law of fractional order appears universal as an empirical description of such complex phenomena, and the corresponding study is generally termed as "fractional dynamics". Many real dynamic systems are better characterized using a non-integer order dynamic model based on fractional calculus or, differentiation or integration of non-integer order. Traditional calculus is based on integer order differentiation and integration. The concept of fractional calculus has tremendous potential to change the way we see, model, and control the nature around us. Denying fractional derivatives is like saying that zero, fractional, or irrational numbers do not exist. In the control side, clearly, for closed-loop control systems, there are four situations. They are 1) IO (integer order) plant with IO controller; 2) IO plant with FO (fractional order) controller; 3) FO plant with IO controller and 4) FO plant with FO controller. From control engineering point of view, doing something better is the major concern. Existing evidences have confirmed that the best fractional order controller outperforms the best integer order controller. It has also been answered in the literature why to consider fractional order control even when integer (high) order control works comparatively well. Fractional order PID controller tuning has reached to a matured state of practical use. Since (integer-order) PID control dominates the industry, we believe FO-PID will gain increasing impact and wide acceptance. Furthermore, we also believe that based on some real world examples, fractional order control is ubiquitous when the dynamic system is of distributed parameter nature. In the signal processing side, this Workshop will give a brief yet broad overview of some existing fractional order signal processing (FOSP) techniques where the developments in the mathematical communities are introduced; relationship between the fractional operator and long-range dependence is demonstrated and fundamental properties of each technique and some of its applications are summarized. Specifically, we presented a tutorial on 1) fractional order linear systems; 2) autoregressive fractional integrated moving average (ARFIMA); 3) 1/ f noise; 4) Hurst parameter estimation; 5) fractional order Fourier transformation (FrFT); 6) fractional order linear transforms (Hartley, Sine, Cosine); 7) fractal; 8) fractional order splines; 9) fractional lower order moments (FLOM) and 10) fractional delay filter. Whenever possible, we indicate the connections between these FOSP techniques. The Goal of this workshop is to bring together top active researchers in the field to offer a comprehensive tutorial workshop for interested attendants who can benefit from basics as well as cutting-edge research results on fractional calculus in systems control and signal processing. Workshop participants will receive selected chapters of the new book http://www.springer.com/engineering/book/978-1-84996-334-3 Fractional-order Systems and Controls: Fundamentals and Applications Series: Advances in Industrial Control by Monje, C.A., Chen, Y., Vinagre, B.M., Xue, D., Feliu, V. 1st Edition., 2010, XXII, 418 p. 100 illus.Workshop website
W9: Co-design of Control and Real-Time Computing: Perspectives, Techniques and Research Directions | Room 206Vijay Gupta (University of Notre Dame), Paulo Tabuada (University of California, Los Angeles)
Additional Participants: Antonio Bicchi (University of Pisa, Italy), Luca Greco (L2S – Supélec, France), Luigi Palopoli (University of Trento, Italy), Daniele Fontanelli (University of Trento, Italy), Manel Velasco (Technical University of Catalonia, Spain), Pau Marti (Technical University of Catalonia, Spain), Fumin Zhang (Georgia Institute of Technology, USA)
Cyberphysical systems (CPS) represent the next generation of engineered systems. Such systems - also known by terms such as networked and embedded control systems - use computation and communication embedded in and interacting with physical processes to add capabilities to physical systems. As such systems become ubiquitous, it will be necessary to evolve a systematic design theory for them. Such a theory would unify diverse branches of systems theory, including estimation and control, networks, information theory, distributed processing, and so on. While the interaction of communication with control has been studied over the last decade or so, issues that arise at the intersection of control and processor design are less well-understood. This workshop focuses on the co-design of control and processing algorithms. Traditional design approach assumes a separation of concerns between the two domains. Control designs have largely ignored the limitations and possibilities of various software and processor implementations. Due to the deeply embedded nature of CPS, issues such as scheduling of control tasks, anytime and event triggered control algorithms, and battery consumption due to control algorithm execution become extremely important. On the other hand, computational and scheduling models need to be tailored to and be ﬂexible with respect to the demands of control applications. This workshop will bring together researchers working towards developing a uniﬁed theory that integrates process control and real-time computing. In particular, topics related to real time control, event triggered and anytime control, and battery aware control will be covered. The complementary expertise of the speakers will provide the audience with a fuller understanding of the rich complexities and challenges in the ﬁeld. We have also ensured that a good discussion of applications and open problems is provided, so that the session is especially useful to graduate students and post doctoral researchers. Workshop website
Pre-Conference Workshop for High School Students and Teachers: The Ideas and Technology of Control Systems: The Power and Beauty of a Field that Spans Science, Technology, Engineering and Mathematics (STEM)In celebration of the 10th Anniversary of the Control Systems Society (CSS) and American Automatic Control Council (AACC) Outreach Program
Organizer and Chair: Bozenna Pasik-Duncan, University of Kansas and Chair of CSS and AACC Technical Committees on Control Education
Sponsored by: CSS, AACC and University of Kansas
Tuesday 9:30AM-3:00PM, Salon A/B
This workshop is a part of the 2010 CDC. The purpose of this event is to increase the general awareness of the importance of systems and control technology and its cross-disciplinary nature among high school teachers and students. Workshop activities include presentations by control scholars, informal discussions, and provides an opportunity for high school students and their teachers to meet passionate researchers and educators from academia and industry. The talks are designed to be educational, inspirational, and entertaining showing the excitement of being a control engineer. This event follows a series of similar successful events and celebrates the 10th Anniversary of the Control Systems Society and American Automatic Control Council Outreach Program.
Special Education Session: Preparing Tomorrow's Scientists and Engineers for the Challenges of the 21st CenturyOrganizer and Chair: Bozenna Pasik-Duncan, University of Kansas and Chair of CSS and AACC Technical Committees on Control Education
Sponsored by: CSS, AACC and University of Kansas
Thursday 12-1:30 Room 401/402
This Special Education Session will focus on multiple challenges and opportunities that are presented to young investigators preparing for careers in science and engineering and will address important control engineering education issues of balancing math, science and technology in engineering education. Invited international control engineering scholars and educators from academia and industry will share a word of wisdom in addressing the following and other related questions: How do we integrate research and education? What we, scientists and educators, should do about cultivating student interest in science, math and engineering? Is it important for control engineering students to know math and science? Should control engineering education focus mostly on engineering? What kind of control engineering textbooks are popular among students? Do they need textbooks? This event follows a series of similar successful events and celebrates the 10th Anniversary of the Control Systems Society and American Automatic Control Council Outreach Program.
Honeywell Session: Optimization and Control for the Smart Grid: Selected Applications and ChallengesRoom 309
The smart grid represents a remaking of the electric power system encompassing all aspects of generation, delivery, and consumption. Benefits will accrue to individuals, societies, and industry: better use of renewable sources, reduction in carbon emissions from fossil plants, improved efficiencies across the power system, broad-based integration of electric and plug‐in hybrid vehicles, real‐time feedback to consumers on their electricity consumption, improved grid reliability, and more.
But several challenges must first be addressed. Intermittent renewables and greater variability in load profiles will result in high uncertainty in both generation and consumption. Dynamic pricing and demand response will intricately couple economic factors and power flow. With communication technologies providing a systemwide integration infrastructure, the smart grid will represent a prototypical "system of systems." Multiple and often conflicting criteria will need to be coordinated: profits, grid reliability, environmental impacts, equipment constraints, and consumer preferences. Control technology will be critical for addressing these challenges.
This Honeywell-sponsored session will provide an overview of the smart grid from a systems and control perspective and it will present new ideas and recent results from research and development projects. Topics covered will include optimization of demand under variable pricing, predictive control for campus‐scale energy storage, data‐centric forecasting for load prediction, and control system architectures for distribution grids and consumer premises.
Session participants include two invited speakers: Professor Massoud Amin, University of Minnesota and the Chair of the IEEE CSS Technical Committee on Smart Grids, and Professor Francesco Borrelli of the University of California, Berkeley. Honeywell participants will be Dr. Datta Godbole, R&D Director, and Tariq Samad, Corporate Fellow.
We welcome all CDC attendees to this special session. Box lunches will be available (quantities won't be unlimited so come early!).
MathWorks Technical Session: Teaching Control Systems to Future Engineers: How to Leverage Interactive Educational ToolsSpecial Session Organized by Pascal Gahinet, Sponsored by MathWorks. Wednesday, December 15, 12:00-1:30 pm.
In its 2009 Controls Curriculum Survey, the IEEE Control System Society identified the gaps between control system education and industry expectations of entry-level control engineers. In January 2010, MathWorks developed new interactive educational materials for online access. These materials support the teaching of control systems with MATLAB and Simulink and help address the needs of industry. Additionally, the MathWorks control system design tools have added new capabilities that also help address these industry needs. In this session you will learn how you can incorporate these new materials into your courses and leverage the new product capabilities in your teaching and research.
Panel Discussion on E-Print Servers and Traditional Publishing
Friday, December 17, 2010 12:00-13:30. Salons A/B.
Organizers and Chairs: John Baillieul, Past IEEE Vice President, Publications Services and Products, e-mail: firstname.lastname@example.org Roberto Tempo, President, IEEE Control Systems Society, e-mail: email@example.com
Scholarly publishing in science, technology, engineering, and mathematics (STEM) has seen enormous changes over the last two decades. Although manuscripts are now circulated electronically for peer review, most journals that cover fields related to automatic control and optimization continue to have review times that require six months or longer to complete a review cycle. If the time required for revisions and re-review are accounted for, the data suggests that getting an article published takes longer than a year in most highly ranked journals.
Against this backdrop, the World Wide Web has provided a powerful resource for rapid dissemination of new research. It is very common for people who are engaged in STEM research to post both preprints and reprints on personal websites. Recently, several leading universities have asked their faculty to post both published articles as well as preprints on university servers. In addition to such de facto open access channels for research dissemination, there is the phenomenally successful arXiv.org server that is now operated by the Cornell University Library.
Because there is growing interest among researchers in these means for rapid dissemination, the Control Systems Society has taken steps to help its members to take advantage of e-print publication on arXiv. A "Systems and Control" section of the Computing Research Repository (CoRR) of the arXiv has been recently created. Further details about subscribing and submitting contributions are available on the website http://arxiv.org
We felt the time was right to explore this opportunity and bring together some leaders in traditional publishing along with someone representing arXiv.org to share ideas on the future of STEM publishing and what the future holds for relationships between e-print servers and traditional publishers.Panelists:
Let everyone know that you're attending CDC 2010 on Facebook!
Key dates (2010)