Computer aided systems theory - EUROCAST '99. A selection of papers from the 7th international workshop, Vienna, Austria, September 29 -- October 2, 1999. Proceedings (Q1576019)

The articles of mathematical interest will be reviewed individually. The 5th conference 1995 has been reviewed (see Zbl 0853.00050). Indexed articles: \textit{Pichler, Franz}, The CAST project: Experiences and future perspectives, 3-7 [Zbl 0963.68626] \textit{Kopacek, Peter}, On the way to the next generation of robots, 14-19 [Zbl 0963.68615] \textit{Messina, Elena; Dabrowski, Christopher; Huang, Hui-Min; Horst, John}, Representation of the RCS reference model architecture using an architectural description language, 23-37 [Zbl 0963.68638] \textit{Dierneder, S.; Scheidl, R.}, Conceptual design, functional decomposition, mathematical modelling, and perturbation analysis, 38-45 [Zbl 0963.68636] \textit{Dittrich, Gisbert}, AV-Petri systems: How to get together abstraction and views for Petri systems?, 46-54 [Zbl 0963.68597] \textit{Del Castillo, Giuseppe; Glässer, Uwe}, Computer-aided analysis and validation of heterogeneous system specifications, 55-79 [Zbl 0963.68598] \textit{Švéda, M.}, Patterns for embedded systems design, 80-89 [Zbl 0963.68618] \textit{Češka, Milan; Janoušek, Vladimír; Vojnar, Tomáš}, Towards verifying distributed systems using object-oriented Petri nets, 90-104 [Zbl 0963.68628] \textit{Otero, Ramón P.; Rodríguez, José M.}, Representing Petri nets in an action based formalism, 105-115 [Zbl 0963.68619] \textit{Larnac, Mireille; Magnier, Janine; Chapurlat, Vincent}, Simplification of proof procedures based on the path condition concepts, 116-126 [Zbl 0963.03508] \textit{Schmitt, Thomas; Fimmel, Dirk; Kortke, Mathias; Merker, Renate}, Parallel processor array for tomographic reconstruction algorithms, 127-141 [Zbl 0963.68616] \textit{Jharko, Elena}, A formalized description approach to continuous time systems, 142-153 [Zbl 0963.68590] \textit{Pichler, Franz}, Modeling complex systems by multi-agent holarchies, 154-168 [Zbl 0963.68611] \textit{Resconi, Germano}, Partition of systems by general system logical theory (GSLT), 169-181 [Zbl 0963.93505] \textit{Jacak, Witold; Pröll, Karin}, Multiagent approach to intelligent control of robot, 185-200 [Zbl 0963.68613] \textit{Gernert, Regine; John, Peter}, Design of competence promoting multi-agent-systems to support the user in fault diagnosis of CNC-machine tools, 201-208 [Zbl 0963.68633] \textit{Přeučil, Libor; Mařik, Vladimir}, System integration techniques in robotics, 209-223 [Zbl 0963.68624] \textit{Borangiu, Theodor; Manu, Mitică; Oltean, Virginia Ecaterina}, Multi-processor design of nonlinear robust motion control for rigid robots, 224-238 [Zbl 0963.68612] \textit{Vörös, Jozef}, Mobile robot path planning among weighted regions using quadtree representations, 239-249 [Zbl 0963.68610] \textit{Šolc, František}, Matrix model of robot in Matlab-Simulink, 250-255 [Zbl 0963.68608] \textit{Sato, R.}, Integrating two dynamic models of business-logistics plant, 259-273 [Zbl 0963.68607] \textit{Noe, Dragica; Peternel, Peter}, Assembly reengineering model, 274-281 [Zbl 0963.68595] \textit{Zebedin, Harald}, Design for disassembly and recycling for small and medium sized companies for the next generation, 282-288 [Zbl 0963.68634] \textit{Klempous, Ryszard; Lysakowska, Barbara; Nikodem, Jan}, Sociological aspects of data acquisition and processing, 302-306 [Zbl 0963.68623] \textit{Cabarcos, M.; Otero, R. P.; Pose, S. G.}, Efficient concurrent simulation of DEVS systems based on concurrent inference, 307-318 [Zbl 0963.68602] \textit{Di Nardo, E.; Nobile, A. G.; Pirozzi, E.; Ricciardi, L. M.; Rinaldi, S.}, Simulation of Gaussian processes and first passage time densities evaluation, 319-333 [Zbl 0963.65502] \textit{Corcuera, Pedro; Garcés, Mario; Mora, Eduardo; Zorrilla, Marta}, Distributed simulation with multimedia interface, 334-342 [Zbl 0963.68601] \textit{Lehmann, H.}, Microscopic randomness and ``fundamental diagram'' in the traffic flow problem, 343-356 [Zbl 0963.90503] \textit{Kwella, B.; Lehmann, H.}, Floating car data analysis of urban road networks, 357-367 [Zbl 0963.90502] \textit{Chroust, Gerhard}, Electronic performance support systems challenges and problems, 377-393 [Zbl 0963.68603] \textit{Grünbacher, Paul; Parets-Llorca, José}, A framework for the elicitation, evolution, and traceability of system requirements, 394-406 [Zbl 0963.68637] \textit{Fatikow, S.; Seyfried, J.; Faizullin, A.}, Computer aided planning system of a flexible microrobot-based microassembly station, 414-434 [Zbl 0963.68635] \textit{Torres Carbonell, Juan Jesús; Parets-Llorca, José}, A formalisation of the evolution of software systems, 435-449 [Zbl 0963.68589] \textit{Rodríguez, M. J.; Parets, J.; Paderewski, P.; Anaya, A.; Hurtado, M. V.}, HEDES: A system theory based tool to support evolutionary software systems, 450-464 [Zbl 0963.68605] \textit{Zorrilla, M. E.; Mora, E.; Corcuera, P.; Fernández, J.}, Vertical partitioning algorithms in distributed databases, 465-474 [Zbl 0963.68630] \textit{Mauerkirchner, Manfred}, Decision based adaptive model for managing software development projects, 475-485 [Zbl 0963.68600] \textit{Podgorelec, Vili; Kokol, Peter; Zorman, Milan}, A fractal software compelxity metric analyser, 486-493 [Zbl 0963.68591] \textit{Moreno-Díaz, Roberto jun.; Quevedo-Losada, Juan Carlos; Quesada-Arencibia, Alexis}, Systems approach to attention mechanisms in the visual pathway, 497-505 [Zbl 0963.68625] \textit{Bolívar-Toledo, O.; Muñoz Blanco, J. A.; Candela Solá, S.; Moreno-Díaz, R.}, On completeness in early vision from systems theory, 506-513 [Zbl 0963.68614] \textit{Rovaris, E.; Eugenio, F.; Moreno-Díaz, R.}, McCulloch Program II in artificial systems and Lastres theorem, 514-520 [Zbl 0963.68609] \textit{Taboada, M.; Des, J.; Argüello Casteleiro, Mercedes; Mira, J.; Martínez, D.}, A medical ontology for integrating case-based reasoning, rule-based reasoning, and patient databases, 521-527 [Zbl 0963.68632] \textit{Bubnicki, Zdzislaw}, Uncertain variables in the computer aided analysis of uncertain systems, 528-542 [Zbl 0963.93534] \textit{Sala, Antonio; Albertos, Pedro; Olivares, Manuel}, Variable-structure learning controllers, 543-549 [Zbl 0963.68629] \textit{Chernyshov, Kirill; Pashchenko, Feodor}, An identification algorithmic toolkit for intelligent control systems, 550-564 [Zbl 0963.93559] \textit{Licznerski, B. W.; Szecówka, P. M.; Szczurek, A.; Nitsch, K.}, Non selective gas sensors and artificial neural networks -- determination of gas mixtures, 565-572 [Zbl 0963.68631] \textit{Oltean, Virginia Ecaterina; Borangiu, Theodor; Manu, Mitică}, The supervision of hybrid control systems -- a layered architecture, 573-587 [Zbl 0963.93538] \textit{DePauli-Schimanovich-Göttig, Werner}, Automatic players for computer games, 588-600 [Zbl 0963.68596]