Deductive control synthesis for alternating-time logics

@article{Dimitrova2014DeductiveCS,
  title={Deductive control synthesis for alternating-time logics},
  author={Rayna Dimitrova and Rupak Majumdar},
  journal={2014 International Conference on Embedded Software (EMSOFT)},
  year={2014},
  pages={1-10}
}
Algorithmic design of control laws for continuous systems for complex temporal specifications is a key step toward automatic synthesis of controllers for cyber-physical systems. Current approaches either abstract the dynamical system to a finite-state approximation or search for certificates that imply invariance or reachability properties (barriers and Lyapunov functions, respectively). The first approach is limited by an exponential blow-up in the abstraction process; the second in the… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science • 2018
View 12 Excerpts
Highly Influenced

Forward invariant cuts to simplify proofs of safety

2015 International Conference on Embedded Software (EMSOFT) • 2015
View 4 Excerpts
Highly Influenced

Modular deductive verification of sampled-data systems

2016 International Conference on Embedded Software (EMSOFT) • 2016

Robust controller synthesis of switched systems using counterexample guided framework

2016 International Conference on Embedded Software (EMSOFT) • 2016
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-9 of 9 references

The temporal logic of programs

18th Annual Symposium on Foundations of Computer Science (sfcs 1977) • 1977
View 19 Excerpts
Highly Influenced

Alternating-Time Temporal Logic

View 5 Excerpts
Highly Influenced

Playing Hybrid Games with KeYmaera

View 4 Excerpts
Highly Influenced

The Complete Proof Theory of Hybrid Systems

2012 27th Annual IEEE Symposium on Logic in Computer Science • 2012
View 4 Excerpts
Highly Influenced

Deductive verification of alternating systems

Formal Aspects of Computing • 2008
View 5 Excerpts
Highly Influenced

A compositional approach to CTL* verification

Theor. Comput. Sci. • 2005
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…