Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /

This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Jones, Cliff (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Ji (Editor, http://id.loc.gov/vocabulary/relators/edt), Zhan, Naijun (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:1st ed. 2018.
Series:Theoretical Computer Science and General Issues ; 11180
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • Think Sequential, Run Parallel
  • Concurrency: Handling interference Formally
  • Decidability of the Initial-state Opacity of Real-time Automata
  • Domain Science and Engineering: A Review of 10 Years Work
  • HAT: Analyzing Linear Hybrid Automata As Labeled Transition System
  • Overview: System Architecture Virtual Integration Based on an AADL Model
  • Characterization and Verification of Stuttering Equivalence
  • Q-SI: A Quantum Programming Environment
  • The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology
  • Linking Theories of Probabilistic Programming
  • Space for Traffic Manoeuvres: An Overview
  • Cloud Robotics: A Distributed Computing View
  • Analyzing Interrupt Handlers via Interprocedural Summaries.