---
_id: '4371'
abstract:
- lang: eng
  text: We survey some of the problems associated with checking whether a given behavior
    (a sequence, a Boolean signal or a continuous signal) satisfies a property specified
    in an appropriate temporal logic and describe two such monitoring algorithms for
    the real-time logic MITL.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
- first_name: Amir
  full_name: Pnueli, Amir
  last_name: Pnueli
citation:
  ama: 'Maler O, Nickovic D, Pnueli A. Checking Temporal Properties of Discrete, Timed
    and Continuous Behaviors. In: <i>Pillars of Computer Science: Essays Dedicated
    To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>. Springer;
    2008:475-505. doi:<a href="https://doi.org/10.1007/978-3-540-78127-1_26">10.1007/978-3-540-78127-1_26</a>'
  apa: 'Maler, O., Nickovic, D., &#38; Pnueli, A. (2008). Checking Temporal Properties
    of Discrete, Timed and Continuous Behaviors. In <i>Pillars of Computer science:
    Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>
    (pp. 475–505). Springer. <a href="https://doi.org/10.1007/978-3-540-78127-1_26">https://doi.org/10.1007/978-3-540-78127-1_26</a>'
  chicago: 'Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties
    of Discrete, Timed and Continuous Behaviors.” In <i>Pillars of Computer Science:
    Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>,
    475–505. Springer, 2008. <a href="https://doi.org/10.1007/978-3-540-78127-1_26">https://doi.org/10.1007/978-3-540-78127-1_26</a>.'
  ieee: 'O. Maler, D. Nickovic, and A. Pnueli, “Checking Temporal Properties of Discrete,
    Timed and Continuous Behaviors,” in <i>Pillars of Computer science: Essays Dedicated
    To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday</i>, Springer,
    2008, pp. 475–505.'
  ista: 'Maler O, Nickovic D, Pnueli A. 2008.Checking Temporal Properties of Discrete,
    Timed and Continuous Behaviors. In: Pillars of Computer science: Essays Dedicated
    To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, , 475–505.'
  mla: 'Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous
    Behaviors.” <i>Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot
    on the Occasion of His 85th Birthday</i>, Springer, 2008, pp. 475–505, doi:<a
    href="https://doi.org/10.1007/978-3-540-78127-1_26">10.1007/978-3-540-78127-1_26</a>.'
  short: 'O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays
    Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer,
    2008, pp. 475–505.'
date_created: 2018-12-11T12:08:30Z
date_published: 2008-03-11T00:00:00Z
date_updated: 2023-02-14T10:42:38Z
day: '11'
doi: 10.1007/978-3-540-78127-1_26
extern: '1'
language:
- iso: eng
month: '03'
oa_version: None
page: 475 - 505
publication: 'Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot
  on the Occasion of His 85th Birthday'
publication_identifier:
  isbn:
  - '9783540781264'
publication_status: published
publisher: Springer
publist_id: '1087'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2008'
...