Bibliography

1

Karl J. Åström and Björn Wittenmark.
Computer Controlled Systems: Theory and Design.
Prentice-Hall, Englewood Cliffs, New Jersey, 1984.

2

Colin Atkinson.
Metamodeling for Distributed Object Environments.
In First International Enterprise Distributed Object Computing Workshop (EDOC'97), pages 90-101, Brisbane, Australia, 1997.

3

Ted Bapty, Sandeep Neema, Jason Scott, Janos Sztipanovits, and Sameh Asaad.
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems.
Technical Report ISIS-99-01, Vanderbilt University, Nashville, TN, 2000.

4

Luciano Baresi, Alessandro Orso, and Mauro Pezz`e.
Introducing Formal Specification Methods in Industrial Practice.
In 19th International Conference on Software Engineering (ICSE'97), pages 56-66, Boston, MA, May 1997.

5

Luciano Baresi and Mauro Pezz`e.
On Formalizing UML with High-Level Petri Nets.
In F. De Cindio and G. Agha, editors, Concurrent Object-Oriented Programming and Petri Nets, pages 271-300. Springer-Verlag, Berlin, 1999.

6

Fernando J. Barros.
Modeling formalisms for dynamic structure systems.
ACM Transactions on Modeling and Computer Simulation, 7(4):501-515, 1997.

7

Paul I. Barton.
Modeling, Simulation, and Sensitivity Analysis of Hybrid Systems: Mathematical Foundations, Numerical Solutions, and Sofware Implementations.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 117-122, Anchorage, Alaska, September 2000.

8

Willem Nico Borst.
Construction of Engineering Ontologies for Knowledge Sharing and Reuse.
PhD dissertation, University of Twente, The Netherlands, 1997.

9

Arno P. J. Breunese, Theo J. A. de Vries, Job van Amerongen, and Peter C. Breedveld.
Maximizing Impact of Automation on Modeling and Design.
In ASME Dynamic Systems & Control Div. '95, pages 421-430, San Francisco, CA, 1995.

10

R.N. Clark, P.M. Frank, and R.J. Patton.
Introduction.
In Ron Patton, Paul Frank, and Robert Clark, editors, Fault Diagnosis in Dynamic Systems: Theory and Applications, chapter 1, pages 1-19. Prentice-Hall, UK, 1989.

11

Edmund M. Clarke and Jeannette M. Wing.
Formal Methods: State of the Art and Future Directions.
ACM Computing Surveys, 28(4):626-643, December 1996.
Report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research.

12

Rance Cleaveland, John Anton, Jim Krause, Bruce Krogh, Harold Mortazavian, and Feng Zhao.
DARPA-ITO workshop on software enabled control.
http://www.dyncorp-is.com/darpa/meetings/sw/software-enab led.html, December 1997.

13

G. Dauphin-Tanguy, P. Borne, and M. Lebrun.
Order reduction of multi-time scale systems using bond graphs, the reciprocal system and the singular perturbation method.
Journal of the Franklin Institute, 319(1/2):157-171, 1985.

14

Eric Engstrom and Jonathan Krueger.
A Meta-Modeler's Job is Never Done: Building and Evolving Domain-Specific Tools With DOME.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 83-88, Anchorage, Alaska, September 2000.

15

Johannes Ernst.
Data interoperability between CACSD and CASE tools using the CDIF family of standards.
In Proceedings of the 1996 International Symposium on Computer-Aided Control System Design, pages 346-351, Dearborn, MI, September 1996.

16

Johannes Ernst and Scott Washburn.
Zero-latency Engineering $^{\mbox{\scriptsize {TM}}}$ for Control Design.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 71-76, Anchorage, Alaska, September 2000.

17

Michael Fisher.
Zero-latency engineering $^{\mbox{\scriptsize {tm}}}$.
Aviatis Corp., White Paper, 1999.

18

Paul A. Fishwick.
Heterogeneous decomposition and inter-level coupling for combined modeling.
In 1991 Winter Simulation Conference, pages 1120-1128, Phoenix, AZ, 1991.

19

R. Geisler, M. Klar, and C. Pons.
Dimensions and Dichotomy in Metamodeling.
Technical Report 98-5, TU Berlin, Berlin, Germany, 1998.

20

Andrew Gelsey, Mark Schwabacher, and Don Smith.
Using modeling knowledge to guide design space search.
Artificial Intelligence, 101:35-62, 1998.

21

Alain Girault, Bilung Lee, and Edward A. Lee.
Hierarchical Finite State Machines with Multiple Concurrency Models.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(6):742-760, June 1999.

22

David Harel.
From play-in scenarios to code: An achievable dream.
Computer, 34(1):53-60, January 2001.

23

David Harel and Eran Gery.
Executable object modeling with statecharts.
Computer, pages 31-42, July 1997.

24

Derek J. Hatley and Imtiaz Pirbhai.
Strategies for Real-Time Systems Specification.
Dorset House Publishing Co., New York, New York, 1988.

25

Christian Hote, Alain Roan, and Florence Flores-Fahrnow.
Case study: A simple altitude management system with SCADE.
Technical report, CS Verilog, March 1999.

26

Rolf Isermann.
A review on detection and diagnosis illustrate that process faults can be detected when based on the estimation of unmeasurable process parameters and state variables.
Automatica: IFAC Journal, 20(4):387-404, 1989.

27

Yumi Iwasaki and Inderpal Bhandari.
Formal basis for commonsense abstraction of dynamic systems.
In AAAI-88, pages 307-312, 1988.

28

John James.
Thoughts on Information Operation Detection as a Nonlinear, Mixed-Signal Identification Problem: A Control Systems View.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 77-82, Anchorage, Alaska, September 2000.

29

Karl Henrik Johansson, John Lygeros, Jun Zhang, and Shankar Sastry.
Hybrid Automata: A formal paradigm for heterogeneous modeling.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 123-128, Anchorage, Alaska, September 2000.

30

M. S. Kamel, K. S. Ma, and W. H. Enright.
ODEXPERT - an expert system to select numerical solvers for initial value ODE systems.
ACM Transactions on Mathematical Software, 19(1):44-62, 1993.

31

Gabor Karsai, Greg Nordstrom, Akos Ledeczi, and Janos Sztipanovits.
Specifying Graphical Modeling Systems Using Constraint-based Metamodels.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 89-94, Anchorage, Alaska, September 2000.

32

Gabor Karsai, Janos Sztipanovits, and Hubertus Franke.
Towards Specification of Program Synthesis in Model-Integrated Computing.
In Proceedings of the ECBS-98, pages 226-233, Jerusalem, Israel, 1998.

33

Petar V. Kokotovic, Hassan K. Khalil, and John O'Reilly.
Singular Perturbation Methods in Control: Analysis and Design.
Academic Press, London, 1986.
ISBN 0-12-417635-6.

34

Edward A. Lee.
Embedded Software - An Agenda for Research.
Technical Report M99/63, Department of EECS, University of California, Berkeley, CA 94720, 1999.

35

Edward A. Lee.
What's Ahead for Embedded Software.
Computer, 33(9):18-26, September 2000.

36

Jie Liu and Edward A. Lee.
Component-Based Hierarchical Modeling of Systems with Continuous and Discrete Dynamics.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 95-100, Anchorage, Alaska, September 2000.

37

Jan Lunze.
Diagnosis of quantised systems by means of timed discrete-event representations.
In Nancy Lynch and Bruce H. Krogh, editors, Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, pages 258-271, Berlin, 2000. Springer-Verlag.

38

Herman Mann.
A versatile modeling and simulation tool for mechatronics control system development.
In 1996 IEEE Symposium on Computer-Aided Control System Design, pages 524-529, Dearborn, 1996.

39

A. Misra, J. Sztipanovits, and R. Carnes.
Robust diagnostic system: Structual redundancy approach.
In Proceedings of the SPIE's International Symposium on Knowledge-Based Artificial Intelligence Systems in Aerospace and Industry, pages 249-260, Orlando, FL, April 1994.

40

Amit Misra.
Sensor-Based Diagnosis of Dynamical Systems.
PhD dissertation, Vanderbilt University, Nashville, TN, 1994.

41

Pieter J. Mosterman.
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.
In Frits W. Vaandrager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569, pages 164-177. Lecture Notes in Computer Science; Springer-Verlag, March 1999.

42

Pieter J. Mosterman.
Towards Model Manipulation for Efficient and Effective Simulation and Instructional Methods.
In Distributed Modelling and Simulation of Complex Systems for Education, Training and Knowledge Capitalisation, Eze, France, May 1999.

43

Pieter J. Mosterman and Gautam Biswas.
Diagnosis of continuous valued systems in transient operating regions.
IEEE Transactions on Systems, Man, and Cybernetics, November 1999.

44

Pieter J. Mosterman and Gautam Biswas.
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.
In Nancy Lynch and Bruce Krogh, editors, Hybrid Systems: Computation and Control, pages 324-337, 2000.
Lecture Notes in Computer Science.

45

Pieter J. Mosterman and Hans Vangheluwe.
ACM transactions on modeling and computer simulation, 2003.
Special Issue on Computer Automated Multi-Paradigm Modeling.

46

Simin Nadjm-Tehrani.
Formal Methods for Analysis of Heterogeneous Models of Embedded Systems.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 141-146, Anchorage, Alaska, September 2000.

47

Gregory G. Nordstrom.
Metamodeling - Rapid Design and Evoluion of Domain-Specific Modeling Environments.
PhD dissertation, Vanderbilt University, Electrical Engineering, May 1999.

48

Bashar Nuseihbeh, Jeff Kramer, and Anthony Finkelstein.
A framework for expressing the relationships between multiple views in requirements specification.
IEEE Transactions on Software Engineering, 20(10):760-773, October 1994.

49

Robert öpler and Pieter J. Mosterman.
Model Integrated Computing in Robot Control to Synthesize Real-time Embedded Code.
In Proceedings of the IEEE International Conference on Control Applications, Mexico, Mexico, September 2001.

50

George J. Pappas, Gerardo Lafferriere, and Shankar Sastry.
Hierarchically consistent control systems.
Technical Report UCB/ERL M98/16, University of California at Berkeley, Berkeley, California, 1998.

51

Taeshin Park.
Verification of Large-Scale Hybrid Systems Using Implicit Model Representation.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 135-140, Anchorage, Alaska, September 2000.

52

Kenneth H. Peters.
Migrating to single-chip systems.
Embedded Systems Programming, 12(4):30-45, April 1999.

53

Manuel A. Pereira Remelhe.
Simulation and Visualization Support for User-defined Formalisms Using Meta-Modeling and Hierarchical Formalism Transformation.
In Proceedings of the IEEE International Conference on Control Applications, Mexico, Mexico, September 2001.

54

J. Sztipanovits, G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, and A. Misra.
MULTIGRAPH: An Architecture for Model-Integrated Computing.
In Proceedings of the International Conference on Engineering of Complex Computer Systems (ICECCS'95), pages 361-368, Ft. Lauderdale, Florida, November 1995.

55

Janos Sztipanovits, Gabor Karsai, and Hubertus Franke.
Model-integrated program synthesis environment.
In IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, March 1996.

56

Job van Amerongen.
Mechatronic Design.
In The 7^th Mechatronics Forum International Conference, Atlanta, GA, August 2000.
plenary paper.

57

Job van Amerongen.
The Role of Control in Mechatronics.
Engineering Science and Educational Journal, 9(3):105-112, 2000.

58

Hans Vangheluwe.
DEVS As a Common Denominator for Multi-formalism Hybrid System Modeling.
In Proceedings of the IEEE International Symposium on Computer-Aided Control System Design, pages 129-134, Anchorage, Alaska, September 2000.

59

Andreas Varga.
On modal techniques for model reduction.
Technical Report TR R136-93, Institute of Robotics and System Dynamics, DLR Oberpfaffenhofen, P.O. Box 1116, D-82230 Wessling, Germany, 1993.

60

Steve Vestal.
Software Architecture Workshop, July 1994.

61

Paul T. Ward and Stephen J. Mellor.
Structured Development for Real-Time Systems.
Prentice-Hall, Englewood Cliffs, New Jersey, 1985.

62

K.C.J. Wijbrans.
Twente Hierarchical Embedded Systems Implementation by Simulation: a structured method for controller realization.
PhD dissertation, University of Twente, Enschede, The Netherlands, 1993.
ISBN 90-9005933-4.

63

Pamela Zave and Michael Jackson.
Where do operations come from? a multiparadigm specification technique.
IEEE Transactions on Software Engineering, 22(7):508-528, July 1996.