The York Research Database
- » Research
- » York Research Database
- » Projects
- » A Calculus for Software Engineering of Mobile and Autonomous Robots
A Calculus for Software Engineering of Mobile and Autonomous Robots
Project: Research project (funded) › Research
Project participant(s)
- Prof Ana Lucia Caneca Cavalcanti (Principal investigator)
- Prof Jon Timmis (Co-investigator)
- Prof Jim Woodcock (Co-investigator)
- Mr Pedro Fernando De Oliveira Salazar Ribeiro (Researcher)
- Dr Simon David Foster (Researcher)
- Dr Wei Li (Researcher)
- Dr Alvaro Miyazawa (Researcher)
Department / unit(s)
| Status | Active |
|---|---|
| Effective start/end date | 1/09/15 → 31/08/20 |
Award relations
A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C., Timmis, J. & Woodcock, J.
EPSRC: £1,766,824.00
1/09/15 → 31/08/20
Award: UK Research Councils
Activities
Workshop on Requirements Modelling for Cyber-Physical Systems
Activity: Participating in or organising an event › Seminar/workshop/course
RoboChart and RoboSim Verified Simulation for Robotics
Activity: Talk or presentation › Invited talk
Meeting of IFIP WG2.3 on Programming Methodology
Activity: Participating in or organising an event › Conference
Aarhus University, Aarhus, Denmark.
Activity: Visiting an external institution › Academic
Huawei European Research Symposium
Activity: Participating in or organising an event › Symposium
CyPhyAssure Spring School
Activity: Participating in or organising an event › Seminar/workshop/course
RoboScience: can using robots add up to a safer world?
Activity: Other › Public engagement and outreach (general)
Southwest University, Chongqing
Activity: Visiting an external institution › Academic
Aarhus Centre for Digital Twins
Activity: Other › Collaboration
Symposium on Unifying Theories of Programming 2019 (Event)
Activity: Publication peer-review and editorial work › Journal peer review
Southwest University, Chongqing
Activity: Visiting an external institution › Academic
DIGIT advisory board meeting (Event)
Activity: Membership › Advisory Group
Keith Lines
Activity: Hosting a visitor › Academic
Engineering Robotic Swarms
Activity: Other › Public engagement and outreach (general)
RoboStar: Engineering Verified Software for Robotics
Activity: Talk or presentation › Invited talk
Foundations for Digital Twins
Activity: Talk or presentation › Invited talk
Research outputs
From formalised state machines to implementation of robotic controllers
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Analysing RoboChart with probabilities
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unifying Theories of Reactive Design Contracts
Research output: Contribution to journal › Article
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
RoboTool
Research output: Non-textual form › Software
A Unary Semigroup Trace Algebra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.