Skip to main content

Temporal Logic Control

  • Chapter
  • First Online:
Formal Methods for Discrete-Time Dynamical Systems

Part of the book series: Studies in Systems, Decision and Control ((SSDC,volume 89))

  • 2308 Accesses

Abstract

Unlike the systems we discussed in previous chapters, which evolved autonomously, in this chapter we consider PWA control systems, which can be affected externally by applying a control signal. Then, it is possible to guarantee the satisfaction of a specification by trajectories of a PWA control system if an appropriate control signal is applied. We focus on fixed-parameter, PWA control systems. In Chap. 5 we discussed the problem of controlling a finite, possibly nondeterministic transition system from LTL specifications. To apply the methods presented there, in this chapter we develop an approach based on the construction of a finite abstraction for the infinite embedding of the PWA system, followed by the generation of a control strategy for the abstraction.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 199.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Calin Belta .

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Belta, C., Yordanov, B., Aydin Gol, E. (2017). Temporal Logic Control. In: Formal Methods for Discrete-Time Dynamical Systems. Studies in Systems, Decision and Control, vol 89. Springer, Cham. https://doi.org/10.1007/978-3-319-50763-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-50763-7_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-50762-0

  • Online ISBN: 978-3-319-50763-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics