Grosu, R. (2025). Neural Programs: Linking Probabilistic and Differential Programming. In Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I (Vol. 15260, pp. 303–321). Springer. https://doi.org/10.1007/978-3-031-75783-9_12
E191-01 - Forschungsbereich Cyber-Physical Systems E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
Published in:
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
-
Date (published):
2025
-
Number of Pages:
19
-
Publisher:
Springer, Cham
-
Peer reviewed:
Yes
-
Keywords:
Neural Programming; Probabilistic Programming; Robotics Control
en
Abstract:
We review neural programs (NP), a differential programming paradigm for adaptive controllers we proposed in [1], with close ties to probabilistic programming and machine learning. NPs use a smooth version of if and while statements, where the original boolean condition is interpreted as the mean of a sigmoidal distribution. This way, one can use continuous optimization techniques, to learn the distribution’s variance and the condition’s parameters, such that the NP together with the plant it controls reproduce the behavior specified by a given data set. Given the strong connection between their branching conditions and artificial neurons, NPs allow to conveniently write robust and adaptive controllers, in form of recurrent neural networks (RNNs). We illustrate the utility of NPs on two case studies: parallel parking and tap withdrawal.
en
Research Areas:
Computer Engineering and Software-Intensive Systems: 100%
