Recent Changes in Main Web retrieved at 09:33 (GMT)
Here is the Rotopod Control Center: a Windows XP equipped Dell computer with an Intel Processor, and two DC power supplies, running at 12 volts each. The bottom power...
A useful set of software compiled by Dr. Lyons to fully test the functionality of each robot based on the hardware it has. The following programs are in the testing...
#pragma config(Motor, port2, LeftForward, tmotorServoContinuousRotation, openLoop, reversed) #pragma config(Motor, port3, RightForward, tmotorServoContinuous...
(sdf 7/15) rcv2pcdPCL function.tar.bz2 New version with features below wrapped into a function. Includes the CMakeLists.txt file and a test rcv cloud for converting...
This paper highlights the basics of implementing Optimal Paths for Autonomous Mobile Robots. The authors use an Agent based approach towards finding an optimal...
StephenFox 2010 09 02
Bookmarks of PengTang Link: Web.Topic or URL Link Label http://twiki.org/ TWiki.org Return to: PengTang
Exercise: Write a process WR that reads a value on its input port and that writes that same value to its output port forever. WR(ip)(op) IN ; OUT ; WR . (c)...
Exercise: Use tail recursion and PASS to build a process that raises its first argument to the power of the second, assuming that the first is a real number and the...
Exercise: Write a recursive process that (a) never terminates and (b) terminates after 1 iteration of its body. T EQ ; T . Since n n always, this will recursive...
Exercise: Write a PARS process that has two process variables, and will do P if the first variable is the larger and Q if the second is the larger, but nothing if...
Exercise: Write a process definition for a process Z with four arguments, which consists of a sequential composition of an instance of P given the first two arguments...
There are many ways to pick variable and process names, and specify values for them. Here is a correct example. TYPE REAL x TYPE REAL y TYPE REAL z Q. Q Q (c) Fordham...
P (c) Fordham University Robotics and Computer Vision
Process A process is the basic unit of computation in PARS; everything is about processes. A process is written by convention with a capital letter, e.g., P or Q...
Multiple Systems In a situation where the SYS process is defined for a mission that has has sensor processes that may trigger different behaviors, verification proceeds...
1. PASS results are not echoed to a raw flow function. For example T PASS ; T will produce a flow function f(a) b, but no flow function for b. 2. A system composed...
Obstacles An obstacle is represented by a MOG. Each member is a possible location for the obstacle. First Approach to representing obstacle If there is a cylindrical...
meta name `robots` content `noindex` / Main difference between old and new CNL, mission files. New CNL changed two main features compared to old CNL, namely, move...
meta name `robots` content `noindex` / Main difference between old and new CNL, mission files. New CNL changed two main features compared to old CNL, namely, move...
meta name `robots` content `noindex` / Main difference between old and new CNL, mission files. New CNL changed two main features compared to old CNL, namely, move...
meta name `robots` content `noindex` / Main difference between old and new CNL, mission files. New CNL changed two main features compared to old CNL, namely, move...
meta name `robots` content `noindex` / Multirobot Waypoint mission with obstacle avoidance August 2014 dml This version modified from multirobot w OBSTACLE...
meta name `robots` content `noindex` / Multirobot Waypoint mission with obstacle avoidance 1/17 peng, using cnl V2.0 August 2014 dml This version modified...
meta name `robots` content `noindex` / peng 1/14/2014 TSS Result variables and parameters Definition here has highest precedence (can be specified here or via...
meta name `robots` content `noindex` / peng 1/14/2014 TSS Result variables and parameters Definition here has highest precedence (can be specified here or via...
meta name `robots` content `noindex` / singlerobot goes a straight line peng 1/14/2014 TSS Result variables and parameters Definition here has highest precedence...
meta name `robots` content `noindex` / singlerobot, one move with OBSTACLE AVOIDANCE uses CNL V2.0 peng 1/14/2014 TSS Result variables and parameters Definition...
Installing OpenCV 2.3.1 I found this website that gives a detailed walk through of a complete (including ffmpeg) installation of OpenCV 2.3.1. I`ve tried it on Bot...
Multi Robot Exploration Using Potential Field A continuation of James` Multi robot Fast Map Construction. Our goal is , building on James` project, to improve the...
Since we run Debian and Ubuntu based platforms, we must use the Fedora VM image. I followed these steps for installation. 1. Download MissionLab FC4 VMWare image from...
Damian M. Lyons; Promotion Materials Resume pdf. List of Publications pdf. Selected Publications (22 papers) This document contains a list of my selected publications...
This paper focuses on the program model checking and the effects of D4V (Design for Verification) on the model checkers efficiency. The paper analyses NASAs Java...
LAB #1 Before beginning the lab, we noticed the motors were once again loose. It was decided that we to provide additional supports between the frames in order to...
This is the first of the Kress Gazit papers, while she was still at UPenn. It introduces the key steps in her approach to a temporal logic method for motion planning...
Introduction to JAUS Installation Download the latest source and build it, including ojNodeManager and ojVehicleSim. Install to /usr/local/jaus, or some place that...
Instructions for maintaining the help documentation This page is for users who are responsible for updating the help documentation. I recommend reading the TWikiTutorial...
igvc2010 Member list (comma separated list): Set GROUP StephenFox Persons/group who can change the list: Set ALLOWTOPICCHANGE igvc...
The GyroTCM2 software inital version was incorrect as it failed to call the tcm2 continuousCommandPackets() routine to start TCM transmission. The TCMtest program...
Serial Installation of the GPS Units (Stereo Camera Models only See USB installation instructions below for Laser models) 1 Connect the GPS 1 Boot into the...
This is based on the serial.c program that reads the GPS serial port as text and extracts the North and West data. The program serial.c was very ineffective and I...
Background A representation that combines depth and image information is Birchfield and Rangarajan (2007)`s spatial histogram or spatiogram. The image spatiogram...
Rotational Legged Locomotion The Rotopod is a novel robot mechanism which combines the features of wheeled and legged locomotion in an unusual way. This robot...
GPS Wifi Mods to R118 Robot 118 is a P3 AT equipped with Gyro, TCM2, DPPU PT unit, and Bumblebee stereohead. Robot 118 was modified to carry a GPS on a tripod mounted...
GPS # SERIAL # LOCATION GPS 1 418949 GPS 2 418953 GPS 3 419328 GPS 4 418855 GPS 5 418954 GPS 6 418866...
Overview This dataset was collected by dml on 6 14 11 using the stereoServer and modified clientDemo software. Robot 116 was run around the U shaped 3rd floor of JMH...
Stereo Server and Client The stereoServer code is based on the Aria serverDemo/clientDemo code. Changes the the basic Aria code include 1. use of joystick is supported...
Background We considere a scenario where an autonomous platform that is searching an area for a target may observe unstable masonry or may need to travel over, by...
Multi robot Fast Model Construction Using Potential Field Objective Using a team of robots to get a map of indoor area within Minimum time Most coverage...
Adding a new n ary operator, ie a function, to matheval Example, lets add the 2 ary function tss blah(a,b). Step 1: Edit scanner.l and add tss blah to the of the...
RSS feed, ATOM feed, WebNotify, site changes, site map 
Topic revision: r5 - 2006-11-15 - TWikiContributor
Site map
Main web
Users
Groups
Index
Search
Changes
Notifications
Statistics
Preferences
Copyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback