There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 92-106

DOI: 10.1007/978-3-642-15297-9_9

SO-VID: b1843315-d8bc-403f-96a3-3bb61191dc33

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 60

Efficient Robust Monitoring for STL
Authors: Alexandre Donzé, Thomas Ferrère, Oded Maler
Mining Requirements From Closed-Loop Control Models
Authors: Xiaoqing Jin, Jyotirmoy Deshmukh, Sanjit Seshia …
A Contract-Based Methodology for Aircraft Electric Power System Design
Authors: Alberto L. Sangiovanni-Vincentelli, Alexandre Donzé, Sanjit Seshia …

See all cited by

Robust Satisfaction of Temporal Logic over Real-Valued Signals

Read this book at