Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems Book Chapter

Jha, Susmit, Raj, Sunny, Jha, Sumit Kumar et al. (2018). Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems . 11022 235-251. 10.1007/978-3-030-00151-3_14

cited authors

  • Jha, Susmit; Raj, Sunny; Jha, Sumit Kumar; Shankar, Natarajan

authors

publication date

  • January 1, 2018

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Computer Science, Theory & Methods
  • FRAMEWORK
  • Mathematics
  • Mathematics, Applied
  • Physical Sciences
  • REACHABILITY
  • SAFETY
  • Science & Technology
  • TEMPORAL LOGIC
  • Technology
  • UNCERTAINTY

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

publisher

  • SPRINGER INTERNATIONAL PUBLISHING AG

start page

  • 235

end page

  • 251

volume

  • 11022