Formal Methods in Manufacturing

Source URL: www.control.tu-berlin.de

• Algebraic structures
• Abstract algebra
• Ring theory
• Semiring
• Idempotence
• Idempotent
• Algebra over a field
• Monoid
• Semilattice
• Lattice
• Max-plus algebra
• Ring