purplecat: Hand Drawn picture of a Toy Cat (agents)
We have now received the review reports on your paper entitled "Autonomous Asteroid Exploration[Improvements of Agent Based Control for Autonomous Spacecraft in Complex Environments]" submitted to the IEEE CIM Special Issue on Intelligent Space Systems and Operations. I am pleased to inform you that your paper has been CONDITIONALLY ACCEPTED subject to minor revisions in response to the editor/reviewers' comments (attached at the back of this email).


This is one of two journal papers planned from the Engineering Autonomous Space Software project. It's basically the engineering paper - describing what the project achieved from the engineering perspective and focusing on an asteroid exploration case study. The Computer Science paper which is intended to focus on verification is... umm... in small pieces all over my hard drive having been rejected by both JAIR (Journal of Artificial Intelligence Research) and AIJ (Artificial Intelligence Journal) and pending updated results and possibly a new case study based on autonomous cruise control in cars.
purplecat: Hand Drawn picture of a Toy Cat (Default)

It is a pleasure to accept your manuscript entitled "Verifying Autonomous Systems" in its current form for publication in Communications of the ACM. The comments of the reviewer(s) who reviewed your manuscript are included at the foot of this letter.

Thank you for your fine contribution. On behalf of the Editors of the Communications of the ACM, we look forward to your continued contributions to the magazine. You will hear from us in a few months, when the paper is slated for production.


Communications of the ACM is a magazine style publication, rather than an academic journal though our paper was still peer reviewed. However it was written more as an overview/survey style paper describing our approach to the verification of autonomous systems. In it my boss basically pulled together a description of the verification work we did during the Engineering Autonomous Space Systems project and another project he had running on the Certification of Unmanned Aerial Vehicles. It's a three author paper by my boss, myself and the RA on the UAV project.

I'm really pleased to have had two paper acceptances in such a short space of time. I didn't get any papers published in 2012 and the papers I published in 2011 were mostly "legacy" papers from previous project rather than current work. Mind you when I expressed concern about this in my PDR, my boss just teased me gently and pointed out that I preferred the programming aspect of my job to churning out papers just because. He also said he wasn't worried about it and observed that we had a lot of papers submitted or in preparation at the time and so things were likely to pick up. It looks like he was right.
purplecat: (academia)
It is our pleasure to inform you that your abstract entitled "Agent
Control of Cooperating Satellites" submitted to the AI in Space:
Intelligence beyond planet earth, has been accepted for an oral
presentation.


The exciting thing about this paper is that we only had to submit an abstract, but are now required to produce a full paper by the 1st July - I forsee much frantic scribbling in the next month or so. The paper describes the current case study we are working on which is the exploration of asteroid clusters using multiple satellites.

Thank you very much for submitting a paper to CLIMA XII. We are delighted to let
you know that your paper is accepted for presentation and inclusion in the
Springer LNAI Proceedings.


This paper is "A Formal Semantics for Brahms" and is really the baby of my PhD Student (using the phrase "my PhD Student" here to refer to someone for whom I'm tenuously 3rd supervisor in a vague "the university admin can't cope with RA's supervising PhD students" kind of way). I did do a little polishing on the paper so I'm not too embarrased by the author credit. Brahms is an agent programming language used by NASA to model human-robot interaction. We want to do some model checking (verification) of these models but that means we needed a semantics for the language first which said PhD student had been diligently working on for about a year now.

This entry was originally posted at http://purplecat.dreamwidth.org/41470.html.
purplecat: (academia)
It is our pleasure to inform you that your abstract entitled "Agent
Control of Cooperating Satellites" submitted to the AI in Space:
Intelligence beyond planet earth, has been accepted for an oral
presentation.


The exciting thing about this paper is that we only had to submit an abstract, but are now required to produce a full paper by the 1st July - I forsee much frantic scribbling in the next month or so. The paper describes the current case study we are working on which is the exploration of asteroid clusters using multiple satellites.

Thank you very much for submitting a paper to CLIMA XII. We are delighted to let
you know that your paper is accepted for presentation and inclusion in the
Springer LNAI Proceedings.


This paper is "A Formal Semantics for Brahms" and is really the baby of my PhD Student (using the phrase "my PhD Student" here to refer to someone for whom I'm tenuously 3rd supervisor in a vague "the university admin can't cope with RA's supervising PhD students" kind of way). I did do a little polishing on the paper so I'm not too embarrased by the author credit. Brahms is an agent programming language used by NASA to model human-robot interaction. We want to do some model checking (verification) of these models but that means we needed a semantics for the language first which said PhD student had been diligently working on for about a year now.
purplecat: Hand Drawn picture of a Toy Cat (Default)
In which we show that using AI/Agent based approaches let's you write shorter code, which I will confess, isn't really news in the AI/Agent community but this has gone to a "Space" conference (albeit Artificial Intelligence, Robotics and Automation in Space).

Reviewers' Comments in their entirety:

This is a quite simple approach; not academically sophisticated.
Interesting: related to efficient coding of control algorithms by means of BDI..


It's always nice to know the peer review process is rigourous and robust.

This entry was originally posted at http://purplecat.dreamwidth.org/3136.html.
purplecat: Hand Drawn picture of a Toy Cat (Default)
In which we show that using AI/Agent based approaches let's you write shorter code, which I will confess, isn't really news in the AI/Agent community but this has gone to a "Space" conference (albeit Artificial Intelligence, Robotics and Automation in Space).

Reviewers' Comments in their entirety:

This is a quite simple approach; not academically sophisticated.
Interesting: related to efficient coding of control algorithms by means of BDI..


It's always nice to know the peer review process is rigourous and robust.
purplecat: Hand Drawn picture of a Toy Cat (agents)
Which means I shall be going to toronto in May and is the first "proper" publication (i.e. where there was a chance we might get rejected) to come out of my current project - so I'm pleased about that too. It's for a workshop on Declarative Agent Languages and Technologies (DALT).

It's about designing a clear (declarative) abstraction layer to communicate between satellite control systems and our agent-based decision making system which I'm sure enlightens you all greatly.

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

July 2017

S M T W T F S
       1
23456 7 8
910 11 121314 15
16171819 20 2122
23242526272829
3031     

Syndicate

RSS Atom

Tags

Style Credit

Expand Cut Tags

No cut tags