Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
- 11 February 2018
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 101 references indexed in Scilit:
- Detecting synchronisation of biological oscillators by model checkingTheoretical Computer Science, 2010
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Modeling and simulation of cardiac tissue using hybrid I/O automataTheoretical Computer Science, 2009
- Learning and detecting emergent behavior in networks of cardiac myocytesCommunications of the ACM, 2009
- Model Checking Biological OscillatorsElectronic Notes in Theoretical Computer Science, 2009
- Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation, 2009
- Continuous glucose monitoring and closed‐loop systemsDiabetic Medicine, 2005
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A Simplex Method for Function MinimizationThe Computer Journal, 1965