View source
nuevoARDrone
  • Commit status
  • Contributors
    1. Loading...
Author Commit Message Date Builds
69 commits behind master.
maunsi
Made corrections to the LTS to automata converter, and implemented execution of actions for the world (not yet for knowledge)
maunsi
Added a converter from LTS to CompactState
maunsi
Added new class to reimplement synthethizeGR method specifically for MTSs
maunsi
Starting the exploration now works (changes are drawn). Notes for future changes: How will I synthesize? Do I create an MTS composition and then synthesize that using the MTS synthesis? Or do I convert back to composite state and use the synthesis from there?
maunsi
Added clone method to MTSImpl (can't clone initial state)
maunsi
Renamed the classes so they wouldn't clash with the preexisting ones. Added explorer and model. Still need to implement a copy method for MTSs so that Model and Knowledge don't point to the same machines
maunsi
Can now convert CompactState to LTSImpl, set the bases for execution methods (the world decides whose turn it is)
maunsi
Creating AutomataToLTSConverter (not yet finished)
maunsi
New Exploration using MTS class
maunsi
Comments
maunsi
More examples
maunsi
Fixed error I had introduced a few commits ago, in View getCurrentStateAvailableActions
maunsi
Added more examples and renamed them
maunsi
Corrected the elimination of unreachable states. Corrected error that prevented bridge example from executing "wait". Does StrategyNewAction work for models where there are required actions?
maunsi
Eliminated unreachable states once the exploration is over
maunsi
Restoring examples
maunsi
More examples, and a change to strategy new action (MTS can have required actions)
maunsi
Solved Null pointer exception when views had states with no transitions
maunsi
Adding examples for exploration
maunsi
Adding examples for exploration
maunsi
When exploring, actions obtained from the view no longer appear on knowledge as possible, but as required
maunsi
Added method "modifiedExecute", an attempt to make the code easier to understand
maunsi
Commented exploration code
maunsi
Erased more comments
maunsi
Erased comments and added Drone to the examples
maunsi
Added TODOs and cleaned up the methods
maunsi
ARDroneMaureen can now use gazebo to simulate the drone
maunsi
using jrosbridge
maunsi
added moveTo transition
maureen
Cambiando java_rosbridge por jrosbridge (commiteando bien ahora)
maureen
Usando jrosbridge en vez de java_rosbridge
maureen
ARDronePublisher puede llamar a takeoff, land y blink animations
maureen
Agregadas las clases de robot y publisher
maureen
holaaaa