zhensong's Krogh:BH [4 articles] Export

Recent papers posted to zhensong's library by the author Krogh:BH. You can also see everyone's Krogh:BH.

	Formal verification of statecharts using finite-state model checkers [My Copy] Control Systems Technology, IEEE Transactions on, Vol. 14, No. 5. (07 August 2006), pp. 943-950. by Qianchuan Zhao, B. H. Krogh posted to model_checking fsm by zhensong on 2009-10-19 21:12:22 as along with 1 person leonardo
	Formal verification of hybrid systems using CheckMate: a case study [My Copy] American Control Conference, 2000. Proceedings of the 2000, Vol. 3 (06 August 2002), pp. 1679-1683 vol.3. by B. I. Silva, B. H. Krogh posted to model_checking hybrid_system by zhensong on 2009-10-19 20:06:26 as
	Model Checking In-The-Loop [My Copy] In {Proc. of the 27th American Control Conference (ACC)} (2008) by Flavio Lerda, James P. Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh posted to model_checking by zhensong on 2009-10-19 16:38:01 as
	Model checking in-the-loop: Finding counterexamples by systematic simulation [My Copy] American Control Conference, 2008 (05 August 2008), pp. 2734-2740. by F. Lerda, J. Kapinski, H. Maka, E. M. Clarke, B. H. Krogh posted to vav model_checking cps control by zhensong on 2009-10-13 15:27:00 as

Note: You may cite this page as: http://www.citeulike.org/user/zhensong/author/Krogh:BH

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

model_checking	113
control	57
pj_onr	53
wsn	38
pj_esoa	35
vav	33
pj_ji	31
cps	31
pj_inverter	30
sensor	27
middleware	19
automation	18
uwb	18
radar	17
power	15
hvac	15
software_engineering	13
sensor-network	13
adrc	13
pebb	12
smart_grid	12
ots	11
pj_foa115	11
performance	11
resilient	10
vtb	10
localization	10
plc	10
control_algorithm	9
software	9
simulation	9
solar	8
soa	8
ieee_1451	8
programming	8
power-grid	7
pj_wsplc	7
model_checker	7
network	6
wikipedia	6
agent	6
virtualization	6
haptic_feedback	5
routing	5
functional_models	5
research	5
programming_by_demonstration	5
mir	5
haptic	5
concurrent	4
optimization	4
hybrid_system	4
patent	4
pbd	4
fpga	4
synchronization	3
consensus	3
architecture	3
estimation	3
inverter_control	3
pid	3
mesh-networks	3
hybrid-system	3
protocol	3
energy	3
programming_by_example	3
ncs	3
adaptive_control	3
smart_sensor	3
robotics	3
cs	2
manet	2
inverter	2
explosive_detection	2
adaptive	2
opc	2
pbe	2
resilient_control	2
chemical_sniffer	2
motion_control	2
leaks	2
business	2
leak_detection_methods	2
system	2
transient_stability	2
pj_vav	2
open-source	2
power_grid	2
gpgpu	2
temportal_logic	2
wind_turbine_control	2
apprenticeship	2
routing-metrics	2
optimal	2
sensor-networks	2
point	1
systems	1
dynamic	1
adaptability	1
distributed	1
zhangnonlinearresilientfunc	1
plm	1
parameter	1
panels	1
algorithms	1
coordinates	1
security	1
power_system_control	1
design	1
rtls	1
active	1
fsm	1
maximum	1
embedded_system	1
landmark	1
pwm	1
ssp	1
load	1
power_quality	1
genetic	1
disturbance	1
iec61508	1
programming_language_design	1
file-import-09-11-24	1
bayesian	1
function	1
controladrc	1
antenna	1
mobile	1
manufacturing_system	1
bim	1
wind_turbine	1
robot	1
linear	1
sar	1
power_networks	1
senaor	1
main	1
algorithm	1
current	1
markov	1
voltage	1
mppt	1
selection	1
software_pattern	1
method	1
complexity_theory	1
objective	1
software_certification	1
adapt	1
robust_adaptive_control	1
power_converters	1
inverse_reinforcement_learning	1
usecase	1
optimizing	1
career	1
temperature	1
electrical_shop	1
petri-net	1
ips	1
container	1
reoriented	1
photovoltaic	1
tracking	1
learning_from_demonstration	1
steam	1
rejection	1
rated	1
generation	1
ilc	1
resilient_overlay_networks	1
petri_net	1
model	1
synthesis	1
invertors	1

zhensong's Krogh:BH [4 articles] Export

zhensong's tags