User Tools

Site Tools


supcon:toolchain
  • Monday, 29 October 2012 : 10:58:49 supcon:toolchain layout fix dhendriks (current)
  • Monday, 29 October 2012 : 10:58:02 supcon:toolchainlayout fix dhendriks
  • Monday, 29 October 2012 : 10:57:08 supcon:toolchainUpdated to same text as LaTeX version, for real-time control phase dhendriks
  • Monday, 29 October 2012 : 10:17:28 supcon:toolchainRe-added closing parenthesis dhendriks
  • Monday, 29 October 2012 : 10:16:53 supcon:toolchainUpdated serack-74 instructions dhendriks
  • Thursday, 04 November 2010 : 13:15:52 supcon:toolchainClarified 'too small supervisor' number of states dhendriks
  • Thursday, 04 November 2010 : 13:15:03 supcon:toolchainSome hints on getting faster synthesis (and conversion back to CIF/SCIM). dhendriks
  • Monday, 25 October 2010 : 08:25:42 supcon:toolchainThe -m option can be derived from the -o option. dhendriks
  • Wednesday, 20 October 2010 : 10:02:12 supcon:toolchainTerminal reuse explained dhendriks
  • Wednesday, 20 October 2010 : 10:01:02 supcon:toolchainCase sensitive note added dhendriks
  • Wednesday, 20 October 2010 : 09:58:18 supcon:toolchainClosing editors is not necessary. dhendriks
  • Wednesday, 20 October 2010 : 09:53:52 supcon:toolchainUse rack for supervisor synthesis dhendriks
  • Wednesday, 20 October 2010 : 09:50:52 supcon:toolchainAdded low load note. Added problem solving for real time control. dhendriks
  • Wednesday, 20 October 2010 : 09:42:20 supcon:toolchaincift2cif no longer filters automata! dhendriks
  • Tuesday, 28 September 2010 : 12:54:38 supcon:toolchainClearer distinction between parts of commands that need to be filled in dhendriks
  • Monday, 27 September 2010 : 13:53:55 supcon:toolchain hvrooy
  • Monday, 21 June 2010 : 12:55:19 supcon:toolchainIndicated event-based dhendriks
  • Monday, 21 June 2010 : 12:53:56 supcon:toolchainMerged 4k420:toolchain into this one dhendriks
  • Friday, 15 January 2010 : 16:02:19 supcon:toolchain vanbeek
  • Friday, 15 January 2010 : 15:58:54 supcon:toolchain vanbeek
  • Friday, 15 January 2010 : 15:38:53 supcon:toolchain vanbeek
supcon/toolchain.txt · Last modified: Monday, 29 October 2012 : 10:58:49 by dhendriks