Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1997

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

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)

Conference series link(s): EUROCAST: International Conference on Computer Aided Systems Theory

Conference proceedings info: EUROCAST 1997.

Sections

Buy it now

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

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

Table of contents (50 papers)

  1. Front Matter

    PDF

  2. A system for designing parallel processor arrays

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

  4. An approach to safety critical systems design

    • Miroslav Švéda
    Pages 34-49

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

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

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

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

  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

  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

  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

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation