Skip to main content
SpringerLink
Log in

Computer Aided Systems Theory - EUROCAST '97

A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Franz Pichler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roberto Moreno-Díaz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1333)

Included in the following conference series:

Conference proceedings info: EUROCAST 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (50 papers)

  1. Front Matter

    Download chapter PDF

  2. A system for designing parallel processor arrays

    • R. Merker, U. Eckhardt, D. Fimmel, H. Schreiber
    Pages 1-12

  3. On the role of architectures in systems engineering

    • Christoph Schaffer
    Pages 13-33

  4. An approach to safety critical systems design

    • Miroslav Švéda
    Pages 34-49

  5. Extensions and semantics of controller state diagrams for practical applications

    • Thomas Müller-Wipperfürth
    Pages 50-57

  6. Design and implementation of an energy management system for an integrated iron and steel plant

    • Dagmar Auer, Heinz Dobler, Gerd Weishaar
    Pages 58-70

  7. Representation and management of memory and decision in evolving software systems

    • Ana Anaya, M. J. Rodríguez, José Parets
    Pages 71-82

  8. G E M — A generic engineering framework for mechanical engineering based upon meta models

    • Herwig Mayr
    Pages 83-91

  9. Formal representation and proof of the interpreted sequential machine model

    • Mireille Larnac, Vincent Chapurlat, Janine Magnier, Benjamin Chenot
    Pages 93-107

  10. Modelling of concurrent and embedded systems

    • Uwe Glässer
    Pages 108-122

  11. A dense-time temporal logic with nice compositionality properties

    • Antonio Cau, Willem-Paul de Roever
    Pages 123-145

  12. Introducing planning in discrete event systems

    • Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro
    Pages 146-159

  13. Multirate control of a class of nonlinear systems

    • P. Albertos, J. Bondia, P. Moya
    Pages 160-169

  14. Global structural approximate controllability of polynomial nonlinear systems

    • H. -J. Sommer, H. Hahn
    Pages 170-176

  15. Vectorized simulations of normal processes for first crossing-time problems

    • E. Di Nardol, E. Pirozzi, L. M. Ricciardi, S. Rinaldi
    Pages 177-188

  16. An architecture for complex systems

    • Gillian Hill
    Pages 189-201

  17. Model-based system design for engineering (T3SD) and general system logical theory

    • Germano Resconi, A. Wayne Wymore
    Pages 202-217

  18. Design of nonlinear lag-lead compensators by extended linearization using symbolic computation techniques

    • Jesús Rodríguez-Millán, José Yépez, Bokor Jozsef
    Pages 218-235

  19. A numerical computation for declarative expressions

    • Josep Miro, Margaret Miro-Julia
    Pages 236-251

  20. An automatic calculator with penrose diagrams

    • J. M. Molinelli, J. M. Barja, A. Blanco, J. L. Fieire
    Pages 252-269
Back to top

Other volumes

  1. Computer Aided Systems Theory — EUROCAST'97

Keywords

About this book

This book constitutes a refereed post-workshop selection of papers presented at the 6th International Workshop on Computer-Aided Systems Theory, EUROCAST'97, held in Las Palmas de Gran Canaria, Spain, in February 1997. The 50 revised full papers presented were carefully selected for inclusion in the volume. The book is divided into sections on design environments and tools, theory and methods, engineering systems, intelligent systems, signal processing, and specific methods and applications.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation