Fast and Compact Encoding of Numerical Controllers Using OBDDs

Informatics in Control, Automation and Robotics - Lecture Notes in Electrical Engineering ◽

10.1007/978-3-642-00271-7_5 ◽

2009 ◽

pp. 75-87 ◽

Cited By ~ 1

Author(s):

Giuseppe Della Penna ◽

Benedetto Intrigila ◽

Nadia Lauri ◽

Daniele Magazzeni

Download Full-text