View source
nuevoARDrone
  • Commit status
  • Contributors
    1. Loading...
Author Commit Message Date Builds
18 commits behind master.
maunsi
Minor change to fix compiling error
maunsi
The environment now chooses unexecuted actions over previously executed ones from the available uncontrollable actions. When a state is mixed (it has controllable and uncontrollable available actions), if there are available uncontrollable actions that haven't been executed yet, the turn is yielded to the environment
maunsi
ActionKnowledge now keeps not yet executed actions for each state, so that it can be easier to retrieve which ones need to be considered for execution
maunsi
The environment now prefers uncontrollable actions that havent been executed over those that have If we are in a mixed state and there are uncontrollable actions which havent been executed yet, we yield the turn to the environment
maunsi
RobotPackage and TravelAgency examples changed because safety now works
maunsi
Safety issues fixed
maunsi
Fixed state printing error. Had to add changeState method to LTS interface and MTS interface.
maunsi
Fixed problem when exploration step was invoked (multiple steps were not performed)
maunsi
generateStarredEnv did not create empty set for states where there were only maybe actions (meaning no action is implemented). Issue seems to be fixed when running a controller synthesis using TransitionSystemDispatcher. MTSControllerImpl still has problems
maunsi
generateStarredEnv did not create empty set for states where there were only maybe actions (meaning no action is implemented). Issue seems to be fixed when running a controller synthesis using TransitionSystemDispatcher. MTSControllerImpl still has problems
maunsi
Merge remote-tracking branch 'remotes/origin/master' into nuevoARDrone # Conflicts: # maven-root/mtsa/pom.xml # maven-root/mtsa/src/main/java/MTSSynthesis/controller/LTSControllerSynthesiser.java # maven-root/mtsa/src/main/java/MTSSynthesis/controller/game/util/GRGameBuilder.java # maven-root/mtsa/src/main/java/ltsa/lts/LTSCompiler.java # maven-root/mtsa/src/main/java/ltsa/ui/HPWindow.java # maven-root/mtsa/src/main/resources/ltsa-context.xml
maunsi
Null pointer exception solved by eliminating state -1. Drawing error persists
maunsi
Error state in safety machines is transformed to deadlock state. There's still issues with the method compose in MTSComposer
maunsi
Safety changes
maunsi
Redesign attempt
maunsi
Added tests, lts test cases and MTSControlProblem abstraction
maunsi
TransitionSystemDispatcher now calls MTSControlProblem to solve the mts control problem
maunsi
Fixed design issue with variable parameters in chooseControllableActions
maunsi
Merge remote-tracking branch 'origin/nuevoARDrone' into nuevoARDrone # Conflicts: # maven-root/mtsa/src/main/java/MTSExploration/ExplorerSynthesis.java # maven-root/mtsa/src/main/java/MTSExploration/MTSExplorer.java
maunsi
Fixed design issue with variable parameters in chooseControllableActions
Nicolas Dippolito
MTSControl problem first draft.
maunsi
Reverted NewActionStrategy changes, fixed optimistic controller strategy
maunsi
NewActionStrategy now tries to find a state that has an unexecuted action. Tests needed
maunsi
Attempted to resolve the issue of doing two synthesis when only one is necessary. Design changes are needed
maunsi
Eliminated ActionSelector and added a TraceStrategy, it is automatically chosen when the environmentActions field has a trace. updateCurrentStateActions is now only called when a new state is created. The explorationStep method of MTSExplorer still has issues
maunsi
Attempting to simplify methods in HPWindow. Also eliminated methods retainAll and removeAll because they changed the collection that was passed as argument. laberintochico.lts was not working properly. (check after these changes. the contrllable actions of the goal could be getting changed)
maunsi
Attempting to reduce the calls to synthesiseGR methods
Nicolas Dippolito
added a origin state for checking the existence of controllers.
maunsi
Refactored the code so that it looks more like the pseudocode. Not entirely sure the bridge example works correctly.
maunsi
Refactored the code so that it looks more like the pseudocode. Not entirely sure the bridge example works correctly.
maunsi
Important changes made to exploration_step. Synthesis is now made from the initial state to consider whether iterations should continue. Synthesis from current state is used to select actions to execute. Method explore() now asks the controller to select a set of desired actions for execution and world decides whether it executes a controllable action from said set or an uncontrollable action. Added an example to test the new changes. More examples are needed to test whether it's working correctly
Maureen Keegan
Added functions to make code more legible
maunsi
Reset now also resets the world. Added an lts example to check that reset works correctly. Fixed some issues with exploration_print
maunsi
Bridge example now modelled correctly. Attempted to improve unreachable states deletion but there's still issues
maunsi
Implemented manual exploration
maunsi
Added new icons to be able to run mts exploration and compact exploration and compare them
maunsi
Merge branch 'master' of https://bitbucket.org/lnahabedian/mtsa into nuevoARDrone # Conflicts: # maven-root/mtsa/.classpath # maven-root/mtsa/pom.xml # maven-root/mtsa/src/main/java/ltsa/lts/EventState.java # maven-root/mtsa/src/main/java/ltsa/ui/HPWindow.java
maunsi
Changed to one ActionSelector
maunsi
Attempted to implement the trace execution of actions (some review needed)
maunsi
Implemented new strategy and printing actions executed and visited states
maunsi
Started implementing synthesis strategy
maunsi
Added knowledge of executed actions. There is a problem when eliminating the transition that led from the state that executed the action to the "cloud"
maunsi
Implemented part of the execute method of MTSKnowledge
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