Page 218 - Mechatronic Systems Modelling and Simulation with HDLs

LITERATURE 207

[286] M¨ uller-Glaser, K. D., Rauch, H., Wolz, W., Bortolazzi, J., Kuntzsch, C.
and Zippelius, R. (1990), A specification driven environment for microsys-
tem design, International Conference on Micro System Technologies, 9–16.
[287] Murray-Smith, D. J. (1995), Continuous System Simulation, Chapman &
Hall.
[288] Murray-Smith, D. J. (1990), A review of methods for the validation of
continuous system simulation models, Proc. UKSC Conf. on Computer
Simulation, 108–11.
[289] Murray-Smith, D. J. (1995), Advances in simulation model validation: the-
ory, software and applications, EUROSIM 1995, 75–84.
[290] Murray-Smith, D. J., Bradley, R. and Leith, D. (1992), Identifiability anal-
ysis and experimental design for simulation model validation, EUROSIM
1992, 15–20.
[291] Mutz, M.(1996),Korrektheitvonhigh-levelSyntheseergebnissenimVHDL-
basierten Schaltungsentwurf, Hardwarebeschreibungssprachen und Model-
lierungsparadigmen: 2. GI/ITG/GME-Workshop, (Herausgeber: M. Glesner)
28–37.
[292] Nagel, P., Scharf, R., Wolz, W. and M¨ uller-Glaser, K. D. (1991), A gen-
eration environment for simulation models for micro system components,
International Conference on Micro Electro, Opto, Mechanic Systems and
Components 2 (1991) 233–40.
[293] Nair, S. S. (1992), Modeling and simulation of a six-legged walking robot
power system, Simulation (1992) / March, 185–95.
[294] Nebel, W. and Schumacher, G. (1996), Konzepte objektorientierter Hard-
waremodellierung,2. GI/ITG/GME-WorkshopHardwarebeschreibungsspra-
chen und Modellierungsparadigmen, (Herausgeber: M. Glesner) 104–5.
[295] Negretto, U. (1991), Predicate/transition nets in FMS control, Proc. Int. Con-
ference on Industrial Electronics, Control and Instrumentation (IECON),
866–71.
[296] Niederhagen, R. (1996), Logiksimulation heute — Werkzeuge zur Verifika-
tion und Validierung, Elektronik 9, 64–70.
[297] Nielan, P. E. and Kane, T. R. (1985), Symbolic generation of efficient sim-
ulation / control routines for multibody simulation, Dynamics of Multibody
Systems, IUTAM/IFToMM Symposium, 153–64.
[298] Niemeyer, M. (1991), Das Simulatorkopplungs-System SiCS, 7. Sympo-
sium Simulationstechnik (ASIM), 62–6.
[299] Nikravesh, P. E. (1988), Computer-Aided Analysis of Mechanical Systems,
Prentice Hall.
[300] Ogata, K. (1978), System Dynamics, Prentice-Hall Inc., Englewood Cliffs.
[301] Olcoz, S. and Colom, J. M. (1995), A colored Petri net model of VHDL,
Formal Methods in System Design, 7, Kluwer Academic Publishers, 101–23.
[302] Olcoz, S., Entrena, L. and Berrojo, L. (1995), A VHDL virtual prototyp-
ing technique for mechatronic systems design, Int. Conference on Recent
Advances in Mechatronics, 761–6.