Unconstrained optimal control of regular languages

  • Authors:

  • Jinbo Fu;Asok Ray;Constantino M. Lagoa

  • Affiliations:

  • Mechanical Engineering Department, The Pennsylvania State University, 137 Reber Building, University Park, PA 16802-1412, USA;Mechanical Engineering Department, The Pennsylvania State University, 137 Reber Building, University Park, PA 16802-1412, USA;Mechanical Engineering Department, The Pennsylvania State University, 137 Reber Building, University Park, PA 16802-1412, USA

  • Venue:
  • Automatica (Journal of IFAC)
  • Year:
  • 2004

Quantified Score

Hi-index 22.15

Visualization

Abstract

This paper formulates an unconstrained optimal policy for control of regular languages realized as deterministic finite state automata (DFSA). A signed real measure quantifies the behavior of controlled sublanguages based on a state transition cost matrix and a characteristic vector as reported in an earlier publication. The state-based optimal control policy is obtained by selectively disabling controllable events to maximize the measure of the controlled plant language without any further constraints. Synthesis of the optimal control policy requires at most n iterations, where n is the number of states of the DFSA model. Each iteration solves a set of n simultaneous linear algebraic equations. As such, computational complexity of the control synthesis is polynomial in n.