Skip to main content
SpringerLink
Log in
Book cover

Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

  • Book
  • © 2018

Overview

Editors:
  1. Marten Lohstroh

    1. University of California, Berkeley, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Patricia Derler

    1. National Instruments, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marjan Sirjani

    1. Mälardalen University, Västerås, Sweden, Reykjavík University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains papers dedicated to Edward A. Lee
  • Features the broad range of Edward A. Lees’ research topics such as embedded systems; real-time computing; computer architecture, modeling and simulation; and systems design
  • Addresses a large diversity of topics

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (29 chapters)

  1. Front Matter

    Pages I-XXVII
    Download chapter PDF

  2. You Can Program What You Want but You Cannot Compute What You Want

    • Alireza S. Abyaneh, Christoph M. Kirsch
    Pages 1-15

  3. Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

    • Gul Agha, Karl Palmskog
    Pages 16-37

  4. Interfaces for Stream Processing Systems

    • Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
    Pages 38-60

  5. Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties

    • Murat Arcak, John Maidens
    Pages 61-76

  6. Predictability Issues in Mixed-Criticality Real-Time Systems

    • Sanjoy Baruah
    Pages 77-87

  7. Model-Based Representations for Dataflow Schedules

    • Shuvra S. Bhattacharyya, Johan Lilius
    Pages 88-105

  8. Hybrid Simulation Safety: Limbos and Zero Crossings

    • David Broman
    Pages 106-121

  9. Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework

    • Janette Cardoso, Pierre Siron
    Pages 122-142

  10. Computing Average Response Time

    • Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
    Pages 143-161

  11. Modeling Dynamical Phenomena in the Era of Big Data

    • Bruno Sinopoli, John A. W. B. Costanzo
    Pages 162-181

  12. A Formal Semantics for Traffic Sequence Charts

    • Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
    Pages 182-205

  13. Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models

    • Caroline Brandberg, Marco Di Natale
    Pages 206-222

  14. A Semantic Account of Rigorous Simulation

    • Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
    Pages 223-239

  15. On Determinism

    • Stephen A. Edwards
    Pages 240-253

  16. Lossy Channels in a Dataflow Model of Computation

    • Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
    Pages 254-266

  17. If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models

    • Marc Geilen
    Pages 267-286

  18. Compressed Sensing in Cyber Physical Social Systems

    • Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar
    Pages 287-305

  19. Embedded Software Design Methodology Based on Formal Models of Computation

    • Soonhoi Ha, EunJin Jeong
    Pages 306-325

  20. Anytime Algorithms in Time-Triggered Control Systems

    • Hermann Kopetz
    Pages 326-335
Back to top

Keywords

About this book

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.

The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics.

The Festschrift contains 29 papers that feature the broad range of Edward A. Lee’s research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design.

Editors and Affiliations

  • University of California, Berkeley, Berkeley, USA

    Marten Lohstroh

  • National Instruments, Berkeley, USA

    Patricia Derler

  • Mälardalen University, Västerås, Sweden, Reykjavík University, Reykjavik, Iceland

    Marjan Sirjani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation