Verification of the Observer Property in Discrete Event Systems
Pena, Patricia N., Bravo, Hugo J., da Cunha, Antonio E. C., Malik, Robi, Lafortune, Stephane, Cury, Jose E. R.
Published in IEEE transactions on automatic control (01.08.2014)
Published in IEEE transactions on automatic control (01.08.2014)
Get full text
Journal Article
Planning on Discrete Events Systems: A logical approach
Alves, Lucas V. R., Bravo, Hugo J., Pena, Patricia N., Takahashi, Ricardo H. C.
Published in 2016 IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2016)
Published in 2016 IEEE International Conference on Automation Science and Engineering (CASE) (01.08.2016)
Get full text
Conference Proceeding