Model based programming in PAMELA 1
summary
PAMELA is an open‑source declarative modeling language for cyber‑physical systems that compiles component models to solver backends (temporal planners, state estimators) and interfaces to tools like CPLEX and MATLAB. PLANVIZ is a ClojureScript/om.next SVG viewer that renders Temporal Planning Networks and HTNs, shows real‑time execution over RabbitMQ, supports synchronized multi‑user pan/zoom and highlighting, and the repo is Apache‑2 licensed; a quadcopter repair/demo runs end‑to‑end in the demo.
AI-written summary · about
chapters (19)
- 0:00Intro
- 0:18Project Overview
- 2:53PAMELA
- 7:06Language antecedents
- 9:02Model exchange
- 11:18Model based program
- 13:16Example
- 14:23Components
- 19:48Light Bulb
- 22:55Demonstration
- 24:40Processing
- 25:04Tom Marble
- 27:42TPM
- 29:24SVG
- 31:22Detail
- 31:50Command line interface
- 32:53Chat application
- 34:18Highlighting
- 36:12Mission dispatching
related talks
38mModeling Symposium
17mA Co-Simulation Middleware: Virtual Testing of Automotive Applications with Multiple Simulators
16mLightning Talk: Forecasted Congestion Management Using Plug and Play Model
38m"Emmy: Moldable Physics and Lispy Microworlds"
46mBuilding a Graphical IDE in Elm/Purescript (...)
20mTowards a Domain-specific Language for the Virtual Validation of Cloud-native Mobility Services
34mPanel with Paula Gearon and Eric Normand
15mLive Programming a Live Programming Environment: An Experience Report