Nicholas Lincoln

According to our database, Nicholas Lincoln authored at least 12 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Practical verification of decision-making in agent-based autonomous systems.

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Autom. Softw. Eng., 2016

2013

Natural Language Programming of Complex Robotic BDI Agents.

Nicholas Lincoln, Sandor M. Veres

J. Intell. Robotic Syst., 2013

Autonomous Asteroid Exploration by Rational Agents.

Nick K. Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa

IEEE Comput. Intell. Mag., 2013

2010

Application of discrete time sliding mode control to a spacecraft in 6DoF with parameter identification.

Nick K. Lincoln, Sandor M. Veres

Int. J. Control, 2010

Satellite Control Using Rational Agent Programming.

Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres

IEEE Intell. Syst., 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.

Nicholas Lincoln, Sandor M. Veres, Louise A. Dennis, Michael Fisher, Alexei Lisitsa

Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

2009

Multi agent control for space based interferometry.

Nick K. Lincoln

PhD thesis, 2009

Agent Based Approaches to Engineering Autonomous Space Software

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Discrete time sliding mode control for satellite clusters at Lagrange points.

Nick K. Lincoln, Sandor M. Veres

Proceedings of the 10th European Control Conference, 2009

2008

Six degree of freedom variable hierarchy sliding mode control in halo orbits with potential function guidance.

Nick K. Lincoln, Sandor M. Veres

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2006

Vision Assisted Satellite Formation Control.

Sandor M. Veres, Nick K. Lincoln

Proceedings of the 45th IEEE Conference on Decision and Control, 2006