Damian M. Lyons

Orcid: 0000-0003-1460-9741

According to our database1, Damian M. Lyons authored at least 78 papers between 1985 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Decentralized Cooperative Navigation Approach for Visual Homing Networks.
IT Prof., 2023

Assessing Blockchain Consensus in Robotics: A Visual Homing Approach.
Proceedings of the 14th IEEE Annual Ubiquitous Computing, 2023

WAVN: Wide Area Visual Navigation for Large-scale, GPS-denied Environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022
VRChain: A Blockchain-Enabled Framework for Visual Homing and Navigation Robots.
CoRR, 2022

2021
Wall Detection Via IMU Data Classification In Autonomous Quadcopters.
CoRR, 2021

A Meta-level Approach for Multilingual Taint Analysis.
Proceedings of the 16th International Conference on Software Technologies, 2021

2020
Evaluation of Field of View Width in Stereo-vision-Based Visual Homing.
Robotica, 2020

A Monte Carlo Approach to Closing the Reality Gap.
CoRR, 2020

Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Evaluating the Potential of Drone Swarms in Nonverbal HRI Communication.
Proceedings of the IEEE International Conference on Human-Machine Systems, 2020

2019
Dependability in Cyber-Physical Systems and Applications.
ACM Trans. Cyber Phys. Syst., 2019

An Approach to Fast Multi-Robot Exploration in Buildings with Inaccessible Spaces.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019

A Comparison of Contextual Bandit Approaches to Human-in-the-Loop Robot Task Completion with Infrequent Feedback.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Towards Lakosian Multilingual Software Design Principles.
Proceedings of the 14th International Conference on Software Technologies, 2019

2018
Towards Affective Drone Swarms: A Preliminary Crowd-Sourced Study.
CoRR, 2018

Lightweight Call-Graph Construction for Multilingual Software Analysis.
Proceedings of the 13th International Conference on Software Technologies, 2018

Constructionist steps towards an autonomously empathetic system.
Proceedings of the International Conference on Multimodal Interaction: Adjunct, 2018

2017
Performance verification for robot missions in uncertain environments.
Robotics Auton. Syst., 2017

Establishing A-Priori Performance Guarantees for Robot Missions that Include Localization Software.
Int. J. Monit. Surveillance Technol. Res., 2017

Formal performance guarantees for an approach to human in the loop robot missions.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Effect of Field of View in Stereovision-Based Visual Homing.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Lightweight Multilingual Software Analysis.
Proceedings of the 12th International Conference on Software Technologies, 2017

2016
Homing with stereovision.
Robotica, 2016

Landmark detection with surprise saliency using convolutional neural networks.
Proceedings of the 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2016

Formal Performance Guarantees for Behavior-Based Localization Missions.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

2015
Performance Verification for Behavior-Based Robot Missions.
IEEE Trans. Robotics, 2015

Leveraging area bounds information for autonomous decentralized multi-robot exploration.
Robotics Auton. Syst., 2015

Probabilistic Verification of Multi-robot Missions in Uncertain Environments.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Thorough exploration of complex environments with a space-based potential field.
Proceedings of the Intelligent Robots and Computer Vision XXXII: Algorithms and Techniques, 2015

2014
Automatic Verification of Autonomous Robot Missions.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2014

Verifying and validating multirobot missions.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Leveraging Area Bounds Information for Autonomous Multirobot Exploration.
Proceedings of the Intelligent Autonomous Systems 13, 2014

2013
A Software Tool for the Design of Critical Robot Missions with Performance Guarantees.
Proceedings of the Conference on Systems Engineering Research, 2013

Performance guarantees for C-WMD robot missions.
Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2013

Getting it right the first time: Robot mission guarantees in the presence of uncertainty.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Visual homing with a pan-tilt based stereo camera.
Proceedings of the Intelligent Robots and Computer Vision XXX: Algorithms and Techniques, 2013

2012
Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments.
Proceedings of the Workshop on Performance Metrics for Intelligent Systems, College Park, MD, USA, March 20, 2012

Designing autonomous robot missions with performance guarantees.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

An approach to stereo-point cloud registration using image homographies.
Proceedings of the Intelligent Robots and Computer Vision XXIX: Algorithms and Techniques, 2012

2010
Selection and recognition of landmarks using terrain spatiograms.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Detection and filtering of landmark occlusions using Terrain Spatiograms.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010

2009
Combining multiple scoring systems for target tracking using rank-score characteristics.
Inf. Fusion, 2009

Sharing landmark information using mixture of Gaussian terrain spatiograms.
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

2007
A cognitive robotics approach to comprehending human language and behaviors.
Proceedings of the Second ACM SIGCHI/SIGART Conference on Human-Robot Interaction, 2007

Evaluation of a Parallel Architecture and Algorithm for Mapping and Localization.
Proceedings of the 7th IEEE International Symposium on Computational Intelligence in Robotics and Automation, 2007

Combinatorial Fusion Criteria for Robot Mapping.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Selecting and Evaluating Combinatorial Fusion Criteria to Improve Multitarget Tracking.
Proceedings of the 9th International Conference on Information Fusion, 2006

Combinatorial Fusion Criteria for Real-Time Tracking.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
Rank-based multisensory fusion in multitarget video tracking.
Proceedings of the Advanced Video and Signal Based Surveillance, 2005

A Dynamic Pruning and Feature Selection Strategy for Real-Time Tracking.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
Towards Performance Guarantees for Emergent Behavior.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

ADAPT: A Cognitive Architecture for Robotics.
Proceedings of the International Conference on Cognitive Modelling, 2004

Integrating Perception, Language and Problem Solving in a Cognitive Agent for a Mobile Robot.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Designing a Robot Cognitive Architecture with Concurrency and Active Perception.
Proceedings of the Intersection of Cognitive Science and Robotics: From Interfaces to Intelligence, 2004

2003
Experimental Results from Using a Rank and Fuse Approach for Multi-Target Tracking in CCTV Surveillance.
Proceedings of the 2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 2003

Discrete Event Modeling of Misrecognition in PTZ Tracking.
Proceedings of the 2003 IEEE Conference on Advanced Video and Signal Based Surveillance (AVSS 2003), 2003

2001
A Background Model Initialization Algorithm for Video Surveillance.
Proceedings of the Eighth International Conference On Computer Vision (ICCV-01), Vancouver, British Columbia, Canada, July 7-14, 2001, 2001

1999
A Line-Scan Computer Vision Algorithm for Identifying Human Body Features.
Proceedings of the Gesture-Based Communication in Human-Computer Interaction, 1999

1997
Combining direct and model-based perceptual information through schema theory.
Proceedings of the Proceedings 1997 IEEE International Symposium on Computational Intelligence in Robotics and Automation CIRA'97, 1997

1996
Special Issue on Assembly and Task Planning for Manufacturing.
IEEE Trans. Robotics Autom., 1996

1995
Planning as incremental adaptation of a reactive system.
Robotics Auton. Syst., 1995

Exploiting Patterns of Interaction to Achieve Reactive Behavior.
Artif. Intell., 1995

David Chapman, Vision, Instruction, and Action.
Artif. Intell., 1995

1994
Assembly and task planning: a taxonomy.
IEEE Robotics Autom. Mag., 1994

Using Perceptions to Plan Incremental Adaptations.
Proceedings of the Intelligent Robots and Systems, 1994

Using perception to plan incremental adaptations.
Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1994

Planning by Adaptation: Experimental Results.
Proceedings of the 1994 International Conference on Robotics and Automation, 1994

Testing Incremental Adaptation.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1993
Representing and analyzing action plans as networks of concurrent processes.
IEEE Trans. Robotics Autom., 1993

A Methodology for Creating and Adapting Reactive Systems.
Int. J. Artif. Intell. Tools, 1993

Stable grasping with a multi-fingered robot hand: a behavior-based approach.
Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems, 1993

1992
Planning for reactive robot behavior.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1991
Achieving robustness by casting planning as adaptation of a reactive system.
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1990
Representation and Execution Support for Reliable Robot Applications.
Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

A process-based approach to task plan representation.
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990

1989
A formal model of computation for sensory-based robotics.
IEEE Trans. Robotics Autom., 1989

1986
Tagged potential fields: An approach to specification of complex manipulator configurations.
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

1985
A simple set of grasps for a dextrous hand.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985


  Loading...