Page 203 - Mechatronic Systems Modelling and Simulation with HDLs

192 LITERATURE

[42] Both, A. W., Biermann, B., Lerch, R., Manoli, Y. and Sievert K. (1994),
Hardware-software-codesign of application specific microcontrolers with
the ASM environment, Proc. EuroDAC, 72–6.
[43] Bradley, E. and Stolle, R. (1996), Automatic construction of accurate mod-
els of physical systems”, Annals of Mathematics and Artificial Intelligence
17, 1–28.
[44] Bradley, R., Padfield, G. D., Murray-Smith, D. J. and Thomson, D. G.
(1990), Validation of helicopter mathematical models, Transactions
Institute of Measurement and Control, 12, 186–96.
[45] Brenan, K. E., Campbell, S. L. and Petzold, L. R. (1989), Numerical Solu-
tion of Initial-Value Problems in Differential-Algebraic Equations, Elsevier
Science Publishing.
[46] Brielmann, M. and Kleinjohann, B. (1993), A Formal Model for Coupling
Computer Based Systems and Physical Systems, EURO-DAC, 158–63.
[47] Brielmann, M. (1995), Modelling differential equations by basic informa-
tion technology means, Proc. EUROCAST ’95, 163–74.
[48] Brielmann, M., Stroop, J., Honekamp, U. and W¨ altermann, P. (1997), Sim-
ulation of hybrid mechatronic systems: a case study, Proc. Int. Conference
on Engineering of Computer-Based Systems, 256–62.
[49] Brockherde, W., Hammerschmidt, D. and Hosticka, B. J. (1995), Silicon
microsystems for mechatronic applications, Conference on Mechatronics
and Robotics 3, 446–55.
[50] Broenink, J. F. (1999), Object-oriented modeling with bond graphs and
Modelica, Proc. International Conference on Bond Graph Modeling and
Simulation (ICBGM ’99), as part of the Western MultiConference.
[51] Buchenrieder, K. and Rozenblit, J. W. (1994), Codesign: an overview in:
Codesign Computer-Aided Software/Hardware Engineering, IEEE Press
st
1994, 1–15 (alternative: Proc. 1 Int. Workshop on Software/Hardware
Codesign, 1992).
[52] Buck, J., Ha, S., Lee, E. A. and Messerschmitt, D. G. (1994), Ptolemy: A
framework for simulating and prototyping heterogeneous systems, Interna-
tional Journal in Computer Simulation 4, 155–82.
[53] Burnett, D. S. (1987), Finite Element Analysis, Addison-Wesley Publishing
Company.
[54] Butterfield, M. H. (1990), A method of quantitative validation based on
model distortion, Transactions Institute of Measurement and Control, 12,
167–73.
[55] Butterfield, M. H. and Thomas, P. J. (1986), Methods of quatitative valida-
tion for dynamic simulation models, Part 1: theory, Transactions Institute
of Measurement and Control, 182–200.
[56] Butterfield, M. H. and Thomas, P. J. (1986), Methods of quatitative val-
idation for dynamic simulation models, Part 2: examples, Transactions
Institute of Measurement and Control, 201–19.