## Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

- Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski
- IEEE Transactions on Automatic Control
- 2016

Highly Influenced

Complex behaviors that can be exhibited by hybrid systems make the verification of such systems both important and challenging. Due to the infinite number of possibilities taken by the continuous state and the uncertainties in the system, exhaustive simulation is impossible, and also computing the set of reachable states is generally intractable… (More)

- Hybrid system
- Nonlinear system
- Certificate (record artifact)
- Convex optimization
- Program optimization
- Reachability
- Sum-of-squares optimization
- Polynomial
- Stochastic process
- Simulation
- Computation
- Verification and validation
- Scalability
- Constraint logic programming
- Verifying specimen
- Drug Formulation Process
- Public key certificate

Showing 1-10 of 92 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential