Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Wooding, Ben
18  Ergebnisse:
Personensuche X
?
1

IMPaCT: A Parallelized Software Tool for IMDP Construction ..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Wooding, Ben ; Lavaei, Abolfazl - p. 1-2 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Data-driven abstraction-based control synthesis:

Kazemi, Milad ; Majumdar, Rupak ; Salamati, Mahmoud..
Nonlinear Analysis: Hybrid Systems.  52 (2024)  - p. 101467 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Robust Simulation Functions with Disturbance Refinement:

, In: 2023 European Control Conference (ECC),
Wooding, Ben ; Lavaei, Abolfazl ; Vahidinasab, Vahid. - p. 1-6 , 2023
Link: https://doi.org/10.23919..
 
?
4

A Look at Outbursts of Comet C/2014 UN271 (Bernardinelli–Be..:

Kelley, Michael S. P. ; Kokotanekova, Rosita ; Holt, Carrie E....
The Astrophysical Journal Letters.  933 (2022)  2 - p. L44 , 2022
Link: https://doi.org/10.3847/..
 
?
5

Operation and Control of a Population of Active Buildings a..:

, In: Active Building Energy Systems; Green Energy and Technology,
Wooding, Ben ; Vahidinasab, Vahid ; Soudjani, Sadegh - p. 193-218 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Control and Management of Active Buildings:

, In: Active Building Energy Systems; Green Energy and Technology,
Wooding, Ben ; Vahidinasab, Vahid ; Kazemi, Milad. - p. 161-192 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Formal Controller Synthesis for Frequency Regulation Utilis..:

, In: 2020 International Conference on Smart Energy Systems and Technologies (SEST),
Wooding, Ben ; Vahidinasab, Vahid ; Soudjani, Sadegh - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
8

IMPaCT: Interval MDP Parallel Construction for Controller S..:

Wooding, Ben ; Lavaei, Abolfazl
http://arxiv.org/abs/2401.03555.  , 2024
Link: http://arxiv.org/abs/240..
 
?
9

Formal Control of New England 39-Bus Test System: An Assume..:

Wooding, Ben ; Lavaei, Abolfazl ; Soudjani, Sadegh
http://arxiv.org/abs/2307.03467.  , 2023
Link: http://arxiv.org/abs/230..
 
?
10

Data-Driven Abstraction-Based Control Synthesis:

Kazemi, Milad ; Majumdar, Rupak ; Salamati, Mahmoud..
http://arxiv.org/abs/2206.08069.  , 2022
Link: http://arxiv.org/abs/220..
 
?
11

A LOOK at Outbursts of Comet C/2014 UN$_{271}$ (Bernardinel..:

Kelley, Michael S. P ; Kokotanekova, Rosita ; Holt, Carrie E...
http://arxiv.org/abs/2206.14888.  , 2022
Link: http://arxiv.org/abs/220..
 
?
12

Physical Characterization of Main-Belt Comet (248370) 2005 ..:

Hsieh, Henry H ; Chandler, Colin O ; Denneau, Larry...
http://arxiv.org/abs/2109.14822.  , 2021
Link: http://arxiv.org/abs/210..
 
?
13

Formal Controller Synthesis for Frequency Regulation Utilis..:

Wooding, Ben ; Vahidinasab, Vahid ; Soudjani, Sadegh
http://arxiv.org/abs/2005.04053.  , 2020
Link: http://arxiv.org/abs/200..
 
?
14

Home and Online Management and Evaluation of Blood Pressure..:

McManus, Richard J ; Little, Paul ; Stuart, Beth...
https://eprints.gla.ac.uk/232386/1/232386.pdf.  , 2021
Link: https://eprints.gla.ac.u..
 
?
15

Home and Online Management and Evaluation of Blood Pressure..:

McManus, Richard J ; Little, Paul ; Stuart, Beth...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7814507/.  , 2021
Link: http://www.ncbi.nlm.nih...
 
1-15