Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots

@inproceedings{Lacerda2008LinearTimeTL,
  title={Linear-Time Temporal Logic Control of Discrete Event Models of Cooperative Robots},
  author={Bruno Lacerda and Pedro U. Lima},
  year={2008}
}
A Discrete Event System (DES) is a discrete state space dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown times, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Temporal Logic (LTL) is an extension of Propositional Logic which allows reasoning over… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 11 REFERENCES

Linear Time Logic Control of Discrete-Time Linear Systems

  • IEEE Transactions on Automatic Control
  • 2006
VIEW 1 EXCERPT

Temporal and Modal Logic

Motwani John E. Hopcroft
  • Handbook of theoretical computer science ( vol . B ) : formal models and semantics Fast LTL to Büchi Automata Translation , LIAFA , UniversitŐ Paris
  • 2001

Constructing Automata from Temporal Logic Formulas: A Tutorial

  • European Educational Forum: School on Formal Methods and Performance Analysis
  • 2000
VIEW 1 EXCERPT

Pappas , Symbolic Planning and Control of Robot Motion

G Christos
  • Cassandras and StŐphane Lafortune , Introduction to Discrete Event Systems
  • 1999

Temporal and Modal Logic. In Handbook of theoretical computer science (vol. B): formal models and semantics, MIT

E. Allen Emerson
  • 1991

Similar Papers

Loading similar papers…