Dette er et gitt scenario fra et Dagstuhl-seminar nylig. Systemet som skal modelleres i Maude eller Real-Time Maude er en "helautomatisk" farm med masse selvkjørende biler, etc., som skal så og høste etc, uten at bilene kræsjer i hverandre, osv. Ulike aspekter av en slik automatisk bondegård kan modelleres og analyseres.
Modellering av selvkjørende ting i Maude
Modellering av noen aspekter av en "automatisk" farm med masse selvkjørende traktorer, etc
Published Oct. 22, 2021 10:43 PM
- Last modified Oct. 22, 2021 10:43 PM