the possibility of controlling the motion of a robotic arm  by mere thought ,  as suggested by popular media since the advent of brain - machine interfaces ( bmis ) , has captured the imagination of fiction writers and science journalists .
but is mind control a reasonable or even a desirable practical goal for the future of neuroprosthetics ? if the ultimate clinical objective is to endow amputees and paralyzed people with the ability to act naturally through the interaction of their brain with an artificial limb , then 
the fact is that , as we carry out the simplest actions , such as operating the handle of a door , we do not occupy our minds with what we are doing .
we do not think about opening up the grasp , closing it on the handle , twisting the wrist and so on . this is because motor acts are stored in the brain in hierarchically organized goal - directed actions .
the addressing of a given action representation is the only thing the brain must do in order to cause the cascade of events leading to execution . in other words ,
our nervous systems do all that is needed without loading our thought processes , apart from the explicit activation of a very general action procedure .
it is only in the early stages of learning that one must be aware of the details of one 's detailed movements .
the goal of this review is to provide a perspective that emerged from work by our group and others on how bmis , based on the bidirectional flow of information between a neural population and a controlled device , may lead to the creation of automatic behavior .
these interactions are also a fundamental tool for investigating how information is processed by the brain . in the early 90s , sharp ,
abbott and marder , introduced a new method to bridge the gap between experimental and computational analysis of neural behavior ( sharp et al .
they established a direct dialogue between a computer simulation and a group of neurons in a dish .
the technique is called  dynamic clamp  and is based on an exquisitely simple idea : to simulate on a computer the input / output properties of a membrane conductance by obtaining the input membrane potential from an actual neuron and injecting the output  a current  into another neuron . to derive the current from the potential
, one must integrate a system of ordinary differential equations ; a task that can be done in real - time if the size of the system is within the available computational power .
the difference between this and a more standard computer simulation is that the variables in question are exchanged between simulation and real neurons .
the dynamic clamp establishes a symbiosis between the artificial computation and the biological element , or , to quote sharp and colleagues ( sharp et al . , 1993 ) :
 the dynamic clamp behaves as if the channels described by the programmed equations were located at the tip of the microelectrode . 
the concepts that led to the dynamic clamp can be extended from the cellular to the system 's level of analysis .
a number of recent studies provided a similar closed - loop feedback to neural systems involved in motor task learning . in this focused review ,
we discuss how the physical connection between biological neural systems and artificial computational processes established by bmis may lead to new paths for understanding neural information processing and be harnessed to benefit people suffering from paralysis .
we begin by describing a simple neuro - robotic system , in which a small mobile robot provides an artificial body to a brain preparation maintained in a ringer 's solution .
we discuss how the analysis of the coupled behavior may provide insight on the connectivity of the neural system that transforms input stimuli into output control signals .
then , we review more recent work aimed at characterizing the dynamical behavior of a neural system engaged in a two - way interaction with an external device .
this knowledge is likely to be critical , also for pursuing the goal of  programming  the operation of bmis by gaining control on the plastic properties of neurons .
we conclude with a new perspective on tuning the maps implemented by bidirectional interfaces so as to approximate the desired behavior of a control system expressed as a force field .
almost three decades ago , valentino braitenberg wrote a small manifesto in semi - fictional form ( braitenberg , 1984 ) .
he considered a family of hypothetical vehicles , endowed with various sensors and motor - driven wheels , in the form of mobile robots .
the book narrates in entertaining but also thoughtful terms , how the electrical connections between sensors and wheels determine a repertoire of different responses to the stimuli in the environment .
it presents two distinct viewpoints : one is the viewpoint of an electrical engineer who puts together the wiring scheme starting from a desired behavior of the vehicle ; the other is the analytical viewpoint of a scientist who observes the behavior and attempts to find out how it derives from some possible  neural wiring  .
the insight that we obtained from braitenberg 's vehicles is that neural structures and properties can be established by artificially constraining the relation between neural system and behavior .
this guided our group to develop an experimental approach , in which the behavior of a simple artificial device is generated by an isolated neural preparation ( reger et al .
the brains of sea lamprey larvae were extracted and placed in a recording chamber where they were maintained at constant physiologically relevant temperature in a ringer 's solution .
we placed two stimulation microelectrodes , one on the right and one on the left side of the midline , among the axons of the rhombencephalic vestibular pathways .
we also placed two recording glass - electrodes , one on each side of the brainstem 's midline , among visually identified reticulospinal neurons of the reticular formation , which represent the final command neurons to activate and maintain locomotion in vertebrates ( grillner et al . , 2008 ) .
a simple interface decoder converted the spiking activities detected by the recording electrodes into driving signals for the corresponding wheels of a small robot ( a khepera , by k - team ) .
a set of optical sensors on the robot measured the light coming from the right and left side , implementing two very rudimentary  electronic eyes  .
the light intensities were then mapped by the interface encoder into the frequencies of two impulse generators connected to the two stimulating electrodes .
this was effectively the first implementation of a bidirectional interface , which closed the loop from recorded neural activities to electrical stimulation via a robotic device .
it was quite impressive to see the small robot responding to a shining light by movements that were most often directed toward it .
this response is called  positive phototaxis  and reflects the predominance of excitatory pathways crossing the brainstem 's midline ( figure 2 ) .
this was indeed one of the first models discussed in braitenberg 's book : if the right sensor is connected to the left wheel and vice - versa , then a light shining on one side will cause the wheel on the opposite side to spin faster . as a result
, the vehicle will tend to orient itself toward the light and to proceed in the forward direction . however , positive phototaxis was not the only observed behavior of the neuro - robotic system exposed to a light source .
negative phototaxis  a tendency to move away from the light source- was observed as well ( karniel et al . , 2005 ) and
the general scheme includes a brain model , a communication interface characterized by one coding and one decoding block , and a robotic body .
implementation of the first bmi realized at northwestern university : a hybrid neuro - robotic system connecting a lamprey 's brainstem to a small mobile robot .
signals from the optical sensors of the robot ( bottom ) are encoded by the communication interface into electrical stimuli , whose frequency depends linearly upon the light intensity .
stimuli are delivered by tungsten microelectrodes to the right and left vestibular pathways ( top .
the whole brain is immersed in artificial cerebro - spinal fluid within a recording chamber .
glass microelectrodes record extracellular responses to the stimuli from the posterior rhombencephalic reticular nuclei ( prrn ) .
recorded signals from right and left prrns are decoded by the interface , which generates the commands to the robot 's wheels .
these commands are set to be proportional to the estimated average firing rate on the corresponding side of the lamprey 's brainstem .
the neural system between stimulation and recording electrodes determines the motions in response to each light source ( modified from mussa - ivaldi and miller , 2003 ) .
the five light bulbs placed on the circular boundary of the workspace were turned on in sequence .
movements toward the lateral lights were curved , with an initial part in the forward direction , followed by a turn toward the light .
the four panels on the right show the simulation results obtained after fitting the neural responses of the neural preparation with polynomial surfaces of various degrees , from linear to 4th degree .
the data for the fit were generated in a separate session , in which stimulation patterns with different frequencies were applied to the two electrodes placed among vestibular axons .
the responses were collected from the two recording electrodes in the posterior rhombencephalic reticular nuclei ( prrn ) on the right and left side of the midline .
thus , the data were a collection of points { xr , i , xl , i , yr , i , yl , i}i=1n ( x : stimulus , y : response ) from the right and left side .
these were used to derive , by least squares , the parameters w in eq .
3 . as the robot was exposed to a single source of light , it moved along rather complex and curvilinear pathways .
it was immediately evident that the neural circuitry responsible for the observed movements had properties that go beyond the structure of a simple linear feedforward network .
a notable feature of this neuro - robotic interaction is that it allowed us to make a direct comparison between behaviors generated by the neural preparation and behaviors generated by a computational model .
this was possible ( a ) because the robotic system was a simple artificial body whose dynamics were simpler and much better known than those of any biological body , and ( b ) because the interactions between the robot and the neural preparation were confined to a set of well defined signals .
the dynamics of the robot were captured by two first - order ordinary differential equations that yield the translational and rotational velocities as functions of the orientation and of the spinning rates of the two wheels .
the sensor response to a source of light depended upon the orientation of the robot with respect to the source and was inversely proportional to the square of the distance between the source and the sensor .
these are simple relations that allowed us to predict ( a ) the motion of the robot , given the recorded output activity , and ( b ) the neural stimulus as a function of the motion of the robot .
the remaining , very important , part is the neural tissue between stimulation and recording electrodes .
a simple model of the transformation performed by the tissue is a static algebraic non - linear mapping , i.e. where x = ( xl , xr ) is a vector of input stimuli on the left and right electrodes , y = ( yl , yr)is a vector of recorded responses from the two sides and w is a matrix of  weights  , parametrizing the outputs as functions of the inputs . in a simpler form , this can be a static linear mapping , as in more complex , yet particular , non - linear relations can also be considered .
for example polynomials of higher degree , as by analyzing the responses of the neural preparation to stimuli of different frequencies applied to both stimulation electrodes , it was possible to estimate the w parameters in polynomial models ( karniel et al . , 2005 ) .
then , the models were used to predict the motor behavior of the robot in the presence of a fixed light stimulus .
figure 2 shows a comparison between actual trajectories , and trajectories simulated using models from linear to 4th degree .
as the polynomial degree increases from linear to cubic , there is a visible increase of the model 's ability to reproduce the data .
this kind of failure was due to over - fitting the measured data ; however , more importantly as described below , the performance of these kinds of models is limited since the actual neural system is dynamic rather than static .
( 2005 ) modified the linear model ( 2 ) by adding a simple first - order dynamic component .
the dynamic component was expressed as a linear dependence of the neural output at an instant of time upon the neural output at a previous instant they found that , with this correction the performance of the model was much better than higher order polynomial models , despite a reduced number in free approximation parameters .
the interaction between a neural system and an external device provides a framework for further investigating the dynamical properties of a neural system ( kositsky et al . , 2003 , 2009 ) .
the interaction between device and neural tissue is entirely self - contained . to simplify our discussion ,
we assume that the nervous system and the artificial device are governed by some deterministic dynamics . of course , while the dynamics of the external device are generally well known , the neural dynamics are unknown and are the object of study
it can be a computer simulation , for example , of a spring - mass system .
the use of simulated devices is particularly useful for investigating specific properties of the neural system . moving along the diagram of figure 3 in a clockwise direction
, the device sends an output vector variable to the input interface , which encodes this variable into a stimulus pattern , e.g. , a frequency of a pulse train .
the neural preparation receives the stimulus and responds to it with a pattern of activities .
these are recorded either extracellularly or intracellularly with one or more electrodes , depending on the experimental setup . here
, again , we need to make the critical assumption that the recorded activities depend in a deterministic way upon the stimulus .
of course , such assumption is likely to be violated in reality  and in various ways .
in fact , an important but difficult task facing the experimenter is to ensure that the preparation is isolated as much as possible from external influences , which tend to create time - dependent fluctuations in the observed neural activity . and ,
of course , such fluctuations need to be analyzed as a form of  experimental noise  .
finally , the loop is closed by an output interface , which converts the recorded activity into an input vector to the external device .
computational maps associated with an ideal closed - loop interaction between a device and a neural preparation . the external device and the neural tissue dynamics are described by a state equation , yielding the next state as a function of the current state and the input .
the output of the device is mapped into a stimulation pattern by the input interface .
the recorded neural activities are mapped into a control signal for the external device . by combining these dynamical equations ,
one obtains an autonomous system [ qt+1 = m(qt ) ] whose behavior is entirely determined by its initial conditions ( from kositsky et al . , 2009 ) .
a fundamental parameter of any dynamical system is the minimum number of independent state variables that are needed to predict the response to an external input .
more concisely , this is the dimension of the state space , also known as dynamical dimension .
a point mass in free space has dimension 6 , as its state is determined by 3 position and 3 velocity coordinates .
however , the closed - loop system described in figure 3 can be used to estimate it by exploiting the simple fact that the dimension of the neural ( s ) and artificial ( x ) component combine by addition to yield the dimension of the closed - loop hybrid system ( q ) the unknown dimension of the neural system 
dim(s )  is derived by subtracting the known dimension of the external device from the measured dimension of the combined system .
the combined system is autonomous by construction , as it does not receive any external input and we make the assumption that its parameters are time - independent ( at least within sufficiently long time intervals . )
a well known theorem ( arnold , 1973 ) establishes that , under broad conditions of smoothness , the solutions of an ordinary differential equation are unique .
this implies that the state - space trajectories of an autonomous system , corresponding to different initial conditions , do not overlap .
this fact is exploited by a technique ( kaplan and glass , 1992 ; kaplan , 1994 ) which seeks to find the dimension of a dynamical system by embedding observed trajectories into candidate state - spaces of increasing dimension , until all intersections are removed ( figure 4 , bottom left panel ) .
( 2009 ) were able to estimate the dynamical dimension of several preparations from the lamprey 's brainstem .
importantly , as t is shown in figure 4 , the estimated dimension of the neural tissue remained unchanged as the dimension of the simulated external system varied from two to four .
the lamprey 's brainstem with a stimulation electrode in the vestibulo - reticular pathway and a recording electrode in the prrn .
one of the devices was governed by a 2 order differential equation , the other by a 4th order equation .
the trajectories obtained by setting a variety of initial conditions are plotted in different colors , over a time span of 20 s. bottom left : kaplan 's  analysis ( kaplan 1994 ) .
it considers pairs of points ( vi , vj ) , and their successors along corresponding trajectories ( vi + 1 , vj + 1 ) .
if the trajectories do not intersect , small  always bear small . surrogate state vectors are constructed from a one - dimensional output signal by combining values of the signal at different delays .
so , an n - dimensional state vector s(t ) is obtained from the output signal y(t ) as s(t)=[y(t)y(t) ... y(t(n1))]t .  
the method consists in building surrogate state vectors of increasing dimension until one can assess that the trajectories do not have self - intersections , using the kaplan 's method .
the dynamical dimension of the combined system is assessed as the dimension that makes  vanish when  approaches zero .
the plots on the left are with the 2d external system , those on the right are with the 4d system .
this is consistently reflected by the difference in the corresponding estimated dimensions ( from karniel et al . , 2005 ; kositsky et al . ,
bidirectional bmis may lead to a new level of understanding of neural plasticity and its role in shaping new behaviors .
while different forms of neural plasticity , such as long term potentiation ( ltp ) ( bliss and lomo , 1973 ) and long - term depression ( ito , 1989 ) , are currently seen as important components of the neurobiological basis for learning and memory , the connection between changes in neural excitability , observable at the cellular level , and purposeful modifications of behavior remains largely unexplored .
this is because the macroscopic scale of behavior is often orders of magnitude larger than the cellular scale .
bidirectional bmis open new pathways of investigation because they connect observable behaviors with the activities that are recorded from a population of neurons and convey feedback from behavior directly to another population in the proximity of the stimulation electrodes .
this provides a new tool for manipulating the mechanisms of hebbian plasticity ( hebb , 1949 ; abbott and nelson , 2000 ) by controlling the relation between presynaptic signals associated with the stimulation and the postsynaptic activities that generate the behavior .
( 2005 ) tested the possibility of inducing plastic changes in the lamprey 's -vestibulo - reticular pathways by performing an 
this is another peculiar opportunity offered by such hybrid systems : they allow us to produce reversible changes in the communications between external device and neural preparation .
then , to assess the occurrence of a plastic change in the neural preparation , one can observe the difference between the behavior that takes place after the lesion is reversed and the behavior before the lesion was applied .
the investigators performed this experiment by temporarily  blinding  the left electronic eye of the mobile robot .
for this , it was sufficient to reduce the gain of the left optical sensor by a factor of 0.1 .
then , they exposed the system to random light stimulation for about 20 min . at the end of this period , they restored the initial optical gain and tested the system on a set of standard light sources .
exposure to the unilateral reduction of the optical gain was sufficient to induce a sustained tendency of the robot to veer toward the right after the balance between the sensors was reestablished .
this effect could be explained in two ways : either by a reduction of the spinning rate in the right wheel or by an acceleration of the left wheel ( or both ) .
the comparison of this behavioral observation with the prediction of a simple computational model driven by the recorded stimulus / activity patterns revealed that the main change was likely caused by a reduction of the recurrent dynamical gain which relates the activity of the right population of reticular neurons to their own state of firing ( the term vrr in eq .
4 ) . this indicates a general reduction of excitability in the output population contralateral to the lesion and can be attributed to the fact that this population received a reduced input from the lesioned site for an extended period of time .
is it possible to modify the connectivity in a biological neural network to achieve a desired behavior ?
the theory of artificial neural networks ( bishop , 1996 ) has grown and advanced precisely on this premise .
but can we exploit the actual mechanisms of neural plasticity to create a desired behavior of the external device ?
this question has not yet been answered ; however , there are signs of progress .
different groups around the world ( demarse et al . , 2001 ; martinoia et al . , 2004 ;
2009 ) are working on systems conceptually similar to that described in figure 3 , but using a different biological model .
the neural preparation in these studies is a culture of dissociated neurons from rat cortices grown onto micro - electrode arrays ( meas ) .
each electrode of the mea is able to both record and stimulate the extracellular activity of the cultured network .
the external device is a simulated or a real vehicle that navigates over an arena .
even with different methods and approaches , these groups succeeded to  program  the unstructured neuron culture in order to make the vehicle able to solve specific behavioral tasks , such as obstacle avoidance . in one example , the network was programmed by the delivery of tetanic stimulation ( chiappalone et al . , 2008 )
to  punish  the wrong behavior of the robot in case of a collision with an obstacle .
after repeated stimulation , an improvement in the robot 's performances ( i.e. , a lower number of collisions ) was observed ( novellino et al . , 2007 ) . while this is still a very preliminary result , it demonstrates that  at least in principle  it may be possible to reach the goal of programming the behavior of a bidirectional bmi by inducing controlled changes in neural excitability .
a critical milestone , still unreached , is the controlled induction of plastic changes in both directions ( potentiation and depression ) with brief exposure to targeted conditioning signals .
most work on bmis , so far , has developed decoding paradigms to translate the neural activities captured by surface electrodes or by meas into commands for an external device .
this requires the users to keep a constant focus of attention on the execution of detailed motor commands . in these setups
, feedback is limited to vision , which involves long delays and requires gaze to be constantly on the moving device .
furthermore , non - kinematic information , such as the weight , rigidity and temperature of a manipulated object , are not directly sensed .
these limits have propelled investigations toward the development of goal - decoding interfaces ( musallam et al . , 2004 ) and of bidirectional bmi 's ( mussa - ivaldi and miller , 2003 ; fagg et al . , 2007 ) .
bmi 's are devices that can not only decode neural activity but also encode external information in the form of brain stimuli .
if successful , bmi prosthetic control systems are to be developed which will surely require the use of a trainable bidirectional interface .
a bidirectional interface can , in principle , be programmed to implement a pattern of neural stimuli and responses capable of approximating a desired behavior of the controlled system ( chao et al . , 2008 ) .
mathematically , this process corresponds to translating the behavior of the neural system into a control policy that maps the current observed state of the controlled system into a corresponding action .
this concept is closely related to earlier evidence that spinal interneurons organize muscles into synergy groups whose mechanical outputs are force fields acting upon the limbs ( bizzi et al . , 1991 ; giszter et al .
these studies demonstrated a simple mechanism of vector summation capable of generating a rep ertoire of control policies out of a small set of non - linear force fields ( mussa - ivaldi et al .
, 1994 ; mussa - ivaldi and bizzi , 2000 ) . as a future direction , we propose to program bidirectional bmis for generating control policies in the form of force fields acting on the controlled external devices .
we call  dynamic shaping  the interface algorithm that implements this neuro -- mechanical translation ( figure 5 ) .
dynamic shaping has two -components : ( 1 ) a decoder that maps the recorded output activity into a force vector , and ( 2 ) an encoder that maps the state of the device into a pattern of stimuli . if the dimension of the vector field is smaller than the number of recorded units , the transformation from recorded activities to force vector involves a dimensionality reduction ( e.g. , by principal component analysis . ) in a dynamically shaped interface , the external neural input sets an initial condition and the dynamic field  in the absence of other influences determines the ensuing trajectory .
this approach would free the user from the need to guide the connected device instant by instant . at the same time , however , the user would be able to perform a continuous control , thus guiding the device through arbitrary paths .
so far , we have implemented and tested dynamic shaping with a simulated neural system , a simple feedforward neural network model of the biological component ( figure 5 ) .
a simple artificial feedforward neural network is connected to a pattern of stimuli , delivered to 6 binary input units ( c ; white : on , black off ) and generates responses over a set of 16 output neurons . in this model ,
there are no hidden units between input and output units but there is a set of four hidden  noise  units that generate random inputs to the output units . input and output units are connected by a  synaptic matrix 
the output units respond to the weighted sum of their input via a sigmoid transfer function .
a set of 21 calibration stimuli ( c ) are presented in sequence to the input units and 21 responses ( a ) are recorded from the output units .
the calibration stimuli and responses are used to approximate a desired force field ( e ) , acting on a mass - damping system . to perform the calibration ,
the two top principal components of the 21 neural responses are mapped over the ranges of the force vector components in the desired field .
this mapping is performed by the linear decoder . then , for each force vector , the corresponding point of application is determined and is associated to the stimulus pattern that generated the force vector ( d ) .
a simple form of the stimulus encoder maps the current location of the mass - damping system into the nearest point determined in the calibration .
the resulting field generated by the encoder / decoder system ( f ) is a fragmented approximation of the desired field .
( g ) : simulated trajectories of the spring - damper system under the field generated by the interface . as dynamic clamps
provide us with the means for isolating particular elements of cellular physiology , such as individual channels , the bidirectional interactions between brain and machines  either physical or simulated  provide the nervous system with artificial bodies that are endowed with well known properties and that communicate through well defined channels .
this marriage of the nervous system with artificial devices offers an unparalleled opportunity to acquire knowledge about neural computation and plasticity while opening a path for restoring functions lost to accident or disease .
the authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest .
 brain - machine interfaces ( bmis ) are mostly investigated as a means to provide paralyzed people with new communication channels with the external world . 
 however , the communication between brain and artificial devices also offers a unique opportunity to study the dynamical properties of neural systems . 
 this review focuses on bidirectional interfaces , which operate in two ways by translating neural signals into input commands for the device and the output of the device into neural stimuli . 
 we discuss how bidirectional bmis help investigating neural information processing and how neural dynamics may participate in the control of external devices . in this respect 
 , a bidirectional bmi can be regarded as a fancy combination of neural recording and stimulation apparatus , connected via an artificial body . 
 the artificial body can be designed in virtually infinite ways in order to observe different aspects of neural dynamics and to approximate desired control policies . 
Introduction
A Neurally Controlled Vehicle
The Dimension of Closed-Loop Dynamics
Bi-Directional Interfaces for Understanding and Controlling Neural Plasticity
Future Directions
Conflict of Interest Statement