Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Choose an application
This volume contains the proceedings of the 9th Workshop on Hybrid S- tems:ComputationandControl(HSCC 2006)heldinSantaBarbara,California, during March 29-31, 2006. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004), and Zurich, Switzerland (2005). This year's HSCC was organized in cooperation with the Special Interest Group on Emb- ded Systems (SIGBED) of ACM. The program consisted of 3 invited talks and 39 regular papers selected from 79 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, engineering applications, andemergingdirectionsinprogramminglanguagessupportandimplementation. We would like to thank the Program Committee members and reviewers for an excellent job of evaluating the submissions and participating in the online ProgramCommitteediscussions.Specialthanksalsogoto FrancescoBullo(U- versity of California at Santa Barbara), P. R. Kumar (University of Illinois at Urbana-Champaign), and John Rushby (SRI International) for their partici- tionas invitedspeakers.We arealsogratefulto the Steering Committee for their helpful guidance and support. Many other people worked hard to make HSCC 2006a successandweacknowledgetheir help. Wewouldliketo expressourgr- itude to the US National Science Foundation, SRI International, and University of California at Santa Barbara for their ?nancial support.
Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- vormgeving --- informatica --- simulaties --- programmeren (informatica) --- software engineering --- KI (kunstmatige intelligentie) --- architectuur (informatica)
Choose an application
This book provides clear presentations of more than sixty important unsolved problems in mathematical systems and control theory. Each of the problems included here is proposed by a leading expert and set forth in an accessible manner. Covering a wide range of areas, the book will be an ideal reference for anyone interested in the latest developments in the field, including specialists in applied mathematics, engineering, and computer science. The book consists of ten parts representing various problem areas, and each chapter sets forth a different problem presented by a researcher in the particular area and in the same way: description of the problem, motivation and history, available results, and bibliography. It aims not only to encourage work on the included problems but also to suggest new ones and generate fresh research. The reader will be able to submit solutions for possible inclusion on an online version of the book to be updated quarterly on the Princeton University Press website, and thus also be able to access solutions, updated information, and partial solutions as they are developed.
System analysis. --- Control theory. --- Commande, Théorie de la. --- Network theory --- Systems analysis --- Dynamics --- Machine theory --- System theory --- Mathematical optimization --- Network analysis --- Network science --- System Analysis --- Control theory --- Commande, théorie de la --- Commande, Theorie de la.
Listing 1 - 3 of 3 |
Sort by
|