Michael J. Banks

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 3

Top Topics

Nonlinear Manifold

Control Strategies

Top Venues

Formal Aspects Comput.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Yanran Wang, Michael J. Banks, Igor Mezic, Takashi Hikihara
Trajectory Estimation in Unknown Nonlinear Manifold Using Koopman Operator Theory. CoRR (2023)
David A. Haggerty, Michael J. Banks, Ervin Kamenar, Alan B. Cao, Patrick C. Curtis, Igor Mezic, Elliot W. Hawkes
Control of soft robots with inertial dynamics. Sci. Robotics 8 (81) (2023)
David A. Haggerty, Michael J. Banks, Patrick C. Curtis, Igor Mezic, Elliot W. Hawkes
Modeling, Reduction, and Control of a Helically Actuated Inertial Soft Robotic Arm via the Koopman Operator. CoRR (2020)
Michael J. Banks, Jeremy L. Jacob
On integrating confidentiality and functionality in a formal method. Formal Aspects Comput. 26 (5) (2014)
Michael J. Banks, Jeremy L. Jacob
Specifying Confidentiality in Circus. FM (2011)
Michael J. Banks, Jeremy L. Jacob
Unifying Theories of Confidentiality. UTP (2010)
Michael J. Banks, Jeremy L. Jacob
On Modelling User Observations in the UTP. UTP (2010)
Michael J. Banks, Elaine Cohen
Real time spline curves from interactively sketched data. I3D (1990)