zhensong's Peyronnet:S [4 articles] Export Sort

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

Hide details

	APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains [My Copy] Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on (16 October 2006), pp. 129-130. by T. Herault, R. Lassaigne, S. Peyronnet posted to model_checking by zhensong on 2009-10-19 21:44:44 as
	Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC [My Copy] (2004) by M. Duflot, L. Fribourg, T. Herault, et al.R. Lassaigne, F. Magniette, S. Messika, S. Peyronnet, C. Picaronny, Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne posted to model_checking by zhensong on 2009-10-19 21:01:07 as
	Probabilistic verification of sensor networks [My Copy] Research, Innovation and Vision for the Future, 2006 International Conference on (18 September 2006), pp. 45-54. by A. Demaille, T. Herault, S. Peyronnet posted to model_checking by zhensong on 2009-10-19 20:38:47 as
	Evaluating Complex MAC Protocols for Sensor Networks with APMC [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 185 (2007), pp. 33-46. by Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil posted to protocol model_checking by zhensong on 2009-10-19 19:57:52 as

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

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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

zhensong's Peyronnet:S [4 articles] Export Sort

zhensong's tags