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

ISBN-13: 9783030014605 / Angielski / Miękka / 2018 / 263 str.

Cliff Jones; Ji Wang; Naijun Zhan

Spis treści

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-S_I: 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.