Tags:
create new tag
view all tags

Recent Changes in Main Web retrieved at 18:49 (GMT)

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...

«Previous   1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16   Next»

Show 10, 20, 50, 100, 500, 1000 results per page, or show all.

Related topics: RSS feed, rounded corners RSS feed, ATOM feed, WebNotify, site changes, site map

Edit | Attach | Watch | Print version | History: r5 < r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r5 - 2006-11-15 - TWikiContributor
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback