Sort by
Refine Your Search
-
models formulated using a discrete calculus formalism with macroscopic (continuum) descriptions. The aim will be to determine how the microscopic constitutive properties of the fibres and the geometry and
-
interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions