文件名称:HyTech
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 628kb
- 下载次数：
- 0次
- 提 供 者：
- wu ji*****
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
线性混成系统源码下载及相关实例，线性混成系统应用算法，验证系统路径可达性-Linear hybrid systems and related source code examples download Algorithm for linear hybrid system application, verify that the system path reachability
(系统自动生成,下载前可以参看下载内容)
下载文件列表
HyTech\bin\hytech
......\...\hytech.exe
......\examples\active\active-syn.hy
......\........\......\active-syn.log
......\........\......\active-trace.hy
......\........\......\active-trace.log
......\........\......\active.hy
......\........\......\active.log
......\........\......\README
......\........\......\run-active
......\........\.udio\audio-10Q-syn.hy
......\........\.....\audio-10Q-syn.log
......\........\.....\audio-e.hy
......\........\.....\audio-e.log
......\........\.....\audio-syn.hy
......\........\.....\audio-syn.log
......\........\.....\audio-timing-strict.hy
......\........\.....\audio-timing-strict.log
......\........\.....\audio-timing.hy
......\........\.....\audio-timing.log
......\........\.....\audio.hy
......\........\.....\audio.log
......\........\.....\README
......\........\.....\run-audio
......\........\billiards\billiards-simple.hy
......\........\.........\billiards-simple.log
......\........\.........\billiards-touchT.hy
......\........\.........\billiards-touchT.log
......\........\.........\README
......\........\.........\run-billiards
......\........\diff-example-logs
......\........\..st_controller\corbett.hy
......\........\...............\corbett.log
......\........\...............\README
......\........\...............\run-dist_controller
......\........\gas_burner\gas_burner.hy
......\........\..........\gas_burner.log
......\........\..........\README
......\........\..........\run-gas_burner
......\........\GRC\grc-syn.hy
......\........\...\grc-syn.log
......\........\...\grc-ver.hy
......\........\...\grc-ver.log
......\........\...\new-grc-syn.hy
......\........\...\new-grc-syn.log
......\........\...\new-grc.hy
......\........\...\new-grc.log
......\........\...\README
......\........\...\run-GRC
......\........\mutex\fischerprotocol.ps
......\........\.....\fish2-e.hy
......\........\.....\fish2-e.log
......\........\.....\fish2.hy
......\........\.....\fish2.log
......\........\.....\README
......\........\.....\run-mutex
......\........\pred-prey\pred-prey.hy
......\........\.........\pred-prey.log
......\........\.........\README
......\........\.........\run-pred-prey
......\........\railroad\railroad-syn.hy
......\........\........\railroad-syn.log
......\........\........\railroad.hy
......\........\........\railroad.log
......\........\........\railroadcrossing.ps
......\........\........\README
......\........\........\run-railroad
......\........\.eactor\reactortemperature.ps
......\........\.......\react_clock.hy
......\........\.......\react_clock.log
......\........\.......\react_linear.hy
......\........\.......\react_linear.log
......\........\.......\react_rect.hy
......\........\.......\react_rect.log
......\........\.......\README
......\........\.......\run-reactor
......\........\README
......\........\run-examples
......\........\temp_controller\README
......\........\...............\run-temp_controller
......\........\...............\temp_controller.hy
......\........\...............\temp_controller.log
......\........\water_controller\README
......\........\................\run-water_controller
......\........\................\watertank.ps
......\........\................\water_controller.hy
......\........\................\water_controller.log
......\src\automaton.C
......\...\automaton.H
......\...\basic.c
......\...\basic.h
......\...\basic_cpp.C
......\...\basic_cpp.H
......\...\cherni.C
......\...\compose.C
......\...\compose.H
......\...\convert.C
......\...\convert.H
......\...\diff.C
......\...\exec_spec.C
......\...\hytech.exe
......\examples\active\active-syn.hy
......\........\......\active-syn.log
......\........\......\active-trace.hy
......\........\......\active-trace.log
......\........\......\active.hy
......\........\......\active.log
......\........\......\README
......\........\......\run-active
......\........\.udio\audio-10Q-syn.hy
......\........\.....\audio-10Q-syn.log
......\........\.....\audio-e.hy
......\........\.....\audio-e.log
......\........\.....\audio-syn.hy
......\........\.....\audio-syn.log
......\........\.....\audio-timing-strict.hy
......\........\.....\audio-timing-strict.log
......\........\.....\audio-timing.hy
......\........\.....\audio-timing.log
......\........\.....\audio.hy
......\........\.....\audio.log
......\........\.....\README
......\........\.....\run-audio
......\........\billiards\billiards-simple.hy
......\........\.........\billiards-simple.log
......\........\.........\billiards-touchT.hy
......\........\.........\billiards-touchT.log
......\........\.........\README
......\........\.........\run-billiards
......\........\diff-example-logs
......\........\..st_controller\corbett.hy
......\........\...............\corbett.log
......\........\...............\README
......\........\...............\run-dist_controller
......\........\gas_burner\gas_burner.hy
......\........\..........\gas_burner.log
......\........\..........\README
......\........\..........\run-gas_burner
......\........\GRC\grc-syn.hy
......\........\...\grc-syn.log
......\........\...\grc-ver.hy
......\........\...\grc-ver.log
......\........\...\new-grc-syn.hy
......\........\...\new-grc-syn.log
......\........\...\new-grc.hy
......\........\...\new-grc.log
......\........\...\README
......\........\...\run-GRC
......\........\mutex\fischerprotocol.ps
......\........\.....\fish2-e.hy
......\........\.....\fish2-e.log
......\........\.....\fish2.hy
......\........\.....\fish2.log
......\........\.....\README
......\........\.....\run-mutex
......\........\pred-prey\pred-prey.hy
......\........\.........\pred-prey.log
......\........\.........\README
......\........\.........\run-pred-prey
......\........\railroad\railroad-syn.hy
......\........\........\railroad-syn.log
......\........\........\railroad.hy
......\........\........\railroad.log
......\........\........\railroadcrossing.ps
......\........\........\README
......\........\........\run-railroad
......\........\.eactor\reactortemperature.ps
......\........\.......\react_clock.hy
......\........\.......\react_clock.log
......\........\.......\react_linear.hy
......\........\.......\react_linear.log
......\........\.......\react_rect.hy
......\........\.......\react_rect.log
......\........\.......\README
......\........\.......\run-reactor
......\........\README
......\........\run-examples
......\........\temp_controller\README
......\........\...............\run-temp_controller
......\........\...............\temp_controller.hy
......\........\...............\temp_controller.log
......\........\water_controller\README
......\........\................\run-water_controller
......\........\................\watertank.ps
......\........\................\water_controller.hy
......\........\................\water_controller.log
......\src\automaton.C
......\...\automaton.H
......\...\basic.c
......\...\basic.h
......\...\basic_cpp.C
......\...\basic_cpp.H
......\...\cherni.C
......\...\compose.C
......\...\compose.H
......\...\convert.C
......\...\convert.H
......\...\diff.C
......\...\exec_spec.C