fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Temporal logic for real-time systems

Temporal logic for real-time systems

by Jonathan S. Ostroff

Discrete-time systemsProcess controlReal-time data processingTemps réel (Informatique)Fabrication
0.0
Open Library
Open Library

Themes & subjects

Discrete-time systemsProcess controlReal-time data processingTemps réel (Informatique)FabricationContrôle

About the author

Jonathan S. Ostroff

1954

Author

Jonathan S. Ostroff

Pages

209

Read time

≈ 5h

Editions

2

Language

English

Publisher

Research Studies Press

ISBN

0471924024

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Discrete-time signal processing

Digital electronics · Signal theory (Telecommunication)

Discrete-time signal processing

Alan V. Oppenheim

1975

Discrete-event modeling and simulation

Computer simulation · Discrete-time systems

Discrete-event modeling and simulation

Gabriel A. Wainer

2008

Modelling and simulation

Computer simulation · Discrete-time systems

Modelling and simulation

Louis G. Birta

2007

Discrete-Time Inverse Optimal Control for Nonlinear Systems

Discrete-time systems · Nonlinear systems

Discrete-Time Inverse Optimal Control for Nonlinear Systems

Edgar N. Sanchez

2013

Economic Dynamics in Discrete Time

Equilibrium (economics) · Econometric models

Economic Dynamics in Discrete Time

Jianjun Miao

2014

Continuous and discrete signal and system analysis

Digital filters (Mathematics) · Discrete-time systems

Continuous and discrete signal and system analysis

Clare D. McGillem

1974

Control and Dynamic Systems

Control · Control theory

Control and Dynamic Systems

Cornelius T. Leondes

1985

Sensory evaluation techniques

Sensory evaluation · Food & beverage technology

Sensory evaluation techniques

Morten Meilgaard

1987

Business Process Management

Reengineering (management) · Organizational change

Business Process Management

John Jeston

2007

Lean Six Sigma For Dummies

Six sigma (quality control standard) · Industrial efficiency

Lean Six Sigma For Dummies

Martin Brenig-Jones

2009

A first course in quality engineering

Quality control · Engineering

A first course in quality engineering

K. S. Krishnamoorthi

2006

Fieldbus and Networking in Process Automation

Process control, data processing · Computer network protocols

Fieldbus and Networking in Process Automation

Sunit Kumar Sen

2014

Business process modeling, simulation, and design

Business planning · Industrial management

Business process modeling, simulation, and design

Manuel Laguna

2004

A real-time approach to process control

Real-time control · Data processing

A real-time approach to process control

William Y. Svrcek

2006

Quality

Statistical methods · Quality control

Quality

Donna C. S. Summers

1997

Mastering statistical process control

Process control · Quality control

Mastering statistical process control

Tim Stapenhurst

2005

Applied Process Control

Process control

Applied Process Control

Michael Mulholland

2016

Statistical Process Control

Process control · Quality control, statistical methods

Statistical Process Control

Robert James Oakland

1987