SIAM Journal on Control and Optimization · 1979 · 177 citations · 12 references
Mathematical ProgrammingEngineeringReachability ProblemVerificationComputational ComplexityLinear SystemObservabilityPolynomial Difference EquationsFormal VerificationStabilitySystems EngineeringRealization TheoryDiscrete MathematicsDifferent NotionsFinite-state SystemGeneric Input SequencePolynomial SystemsFormal MethodsTime Complexity
Different notions of observability are compared for systems defined by polynomial difference equations. The main result states that, for systems having the standard property of (multiple-experiment initial-state) observability, the response to a generic input sequence is sufficient for final-state determination. Some remarks are made on results for nonpolynomial and/or continuous-time systems. An identifiability result is derived from the above.
12