Top Tweets for #learning4control
๐ Paper: https://t.co/BIlfFz46i7
๐ป Code: https://t.co/tvPMZXJjlw
Catch our poster at Session 2, #18 on 11/07 and SAFE-ROL workshop on 11/09! Many thanks to my amazing collaborators: @_yujie_yang_ @wei_tianhao @ChangliuL
#Learning4Control #NeuralCBFs #FormalVerification (2/2)
Lots of confusion about what a world model is. Here is my definition:
Given:
- an observation x(t)
- a previous estimate of the state of the world s(t)
- an action proposal a(t)
- a latent variable proposal z(t)
A world model computes:
- representation: h(t) = Enc(x(t))
- prediction: s(t+1) = Pred( h(t), s(t), z(t), a(t) )
Where
- Enc() is an encoder (a trainable deterministic function, e.g. a neural net)
- Pred() is a hidden state predictor (also a trainable deterministic function).
- the latent variable z(t) represents the unknown information that would allow us to predict exactly what happens. It must be sampled from a distribution or or varied over a set. It parameterizes the set (or distribution) of plausible predictions.
The trick is to train the entire thing from observation triplets (x(t),a(t),x(t+1)) while preventing the Encoder from collapsing to a trivial solution on which it ignores the input.
Auto-regressive generative models (such as LLMs) are a simplified special case in which
1. the Encoder is the identity function: h(t) = x(t),
2. the state is a window of past inputs
3. there is no action variable a(t)
4. x(t) is discrete
5. the Predictor computes a distribution over outcomes for x(t+1) and uses the latent z(t) to select one value from that distribution.
The equations reduce to:
s(t) = [x(t),x(t-1),...x(t-k)]
x(t+1) = Pred( s(t), z(t), a(t) )
There is no collapse issue in that case.
It is a polytopic system with five vertices, order 5, and 1 control input. Project developed by undergrad students Ricardo and Hugo. #matlab #ReinforcementLearning #learning4control #control

Last Seen Hashtags on Sotwe
bocilgay
Seen from Indonesia
zangi
nolimits video
Seen from United Arab Emirates
insidepussy
Seen from Turkey
momson()()()()()()()()()()()()()()()()()() +filter:native_video
Seen from Japan
MomSon filter:native_video
Seen from Sweden
Blackcatdead
Seen from United States
ๅญ็
ง็งๆฟ
Seen from United States
omegle
Seen from Japan
teenage
Seen from Thailand
Trends for you
Most Popular Users

Elon Musk 
@elonmusk
241.1M followers

Barack Obama 
@barackobama
119.1M followers

Cristiano Ronaldo 
@cristiano
112.5M followers

Donald J. Trump 
@realdonaldtrump
111.8M followers

Narendra Modi 
@narendramodi
107.1M followers

Rihanna 
@rihanna
98.2M followers

NASA 
@nasa
92.2M followers

Justin Bieber 
@justinbieber
91.4M followers

KATY PERRY 
@katyperry
88.8M followers

Taylor Swift 
@taylorswift13
82.7M followers

Lady Gaga 
@ladygaga
74.2M followers

Virat Kohli 
@imvkohli
71.6M followers

Kim Kardashian 
@kimkardashian
70.3M followers

YouTube 
@youtube
68.7M followers

Neymar Jr 
@neymarjr
64.5M followers

Bill Gates 
@billgates
64.5M followers

The Ellen Show
@theellenshow
62.4M followers

Selena Gomez 
@selenagomez
61.9M followers

CNN 
@cnn
61.8M followers

X 
@x
60.8M followers







