文档介绍：Model-Based Design
for Embedded Systems
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page i 2009-10-13
Computational Analysis, Synthesis,
and Design of Dynamic Models Series
Series Editor
Pieter J. Mosterman
The MathWorks
Natick, Massachusetts
Discrete-Event Modeling and Simulation: A Practitioner's Approach,
Gabriel A. Wainer
Discrete-Event Modeling and Simulation: Theory and Applications,
edited by Gabriel A. Wainer and Pieter J. Mosterman
Model-Based Design for Embedded Systems,
edited by Gabriela Nicolescu and Pieter J. Mosterman
Model-Based Testing for Embedded Systems,
edited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman
Multi-Agent Systems: Simulation & Applications,
edited by Adelinde M. Uhrmacher and Danny Weyns
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page ii 2009-10-13
Model-Based Design
for Embedded Systems
Gabriela Nicolescu
Pieter J. Mosterman
Boca Raton London New York
CRC Press is an imprint of the
Taylor & Francis Group, an informa business
Nicolescu/Model-Based Design for Embedded Systems 67842_C000 Finals Page iii 2009-10-13
MATLAB® and Simulink® are trademarks of The MathWorks, Inc. and are used with permission. The Math-
Works does not warrant the accuracy of the text of exercises in this book. This book’s use or discussion
of MATLAB® and Simulink® software or related products does not constitute endorsement or sponsorship
by The MathWorks of a particular pedagogical approach or particular use of the MATLAB® and Simulink®
software.
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
© 2010 by Taylor and Francis Group, LLC
CRC Press is an imprint of Taylor & Francis Group, an Informa business
No claim to original . Government works
Printed in the United States of America on acid-free paper
10 9 8 7 6 5 4 3 2 1
International Standard Book Number: 978-1-4200-6784-2 (H