Electric power systems in more and all electric aircraft: A review
A Barzkar, M Ghassemi - Ieee Access, 2020 - ieeexplore.ieee.org
Narrow body and wide body aircraft are responsible for more than 75% of aviation
greenhouse gas (GHG) emission and aviation, itself, was responsible for about 2.5% of all …
greenhouse gas (GHG) emission and aviation, itself, was responsible for about 2.5% of all …
[PDF][PDF] Automating the design process for smart building technologies
R Parekh - World Journal of Advanced Research and Reviews, 2024 - researchgate.net
Smart buildings are emerging as complex cyber-physical systems that aim to provide safe,
comfortable, energy-efficient, and aesthetically pleasing environments. However, traditional …
comfortable, energy-efficient, and aesthetically pleasing environments. However, traditional …
Model predictive control from signal temporal logic specifications: A case study
This paper describes current work on framing the model predictive control (MPC) of cyber-
physical systems as synthesis from signal temporal logic (STL) specifications. We provide a …
physical systems as synthesis from signal temporal logic (STL) specifications. We provide a …
Reactive synthesis from signal temporal logic specifications
We present a counterexample-guided inductive synthesis approach to controller synthesis
for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in …
for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in …
Correctness guarantees for the composition of lane keeping and adaptive cruise control
This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …
operation of lane keeping and adaptive cruise control. The safety specifications for these …
A platform-based design methodology with contracts and related tools for the design of cyber-physical systems
P Nuzzo, AL Sangiovanni-Vincentelli… - Proceedings of the …, 2015 - ieeexplore.ieee.org
We introduce a platform-based design methodology that uses contracts to specify and
abstract the components of a cyber-physical system (CPS), and provide formal support to the …
abstract the components of a cyber-physical system (CPS), and provide formal support to the …
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic
TR Torben, JA Glomsrud, TA Pedersen… - Proceedings of the …, 2023 - journals.sagepub.com
A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …
vessels is proposed. The work is motivated by the need for increased test coverage and …
Design automation for smart building systems
Smart buildings today are aimed at providing safe, healthy, comfortable, affordable, and
beautiful spaces in a carbon and energy-efficient way. They are emerging as complex cyber …
beautiful spaces in a carbon and energy-efficient way. They are emerging as complex cyber …
Modeling and integration of a lithium-ion battery energy storage system with the more electric aircraft 270 V DC power distribution architecture
With an aim to decrease pollution level due to aviation transportation sector, aircraft
industries are focusing on more electric aircraft (MEA). The design of MEA is made with an …
industries are focusing on more electric aircraft (MEA). The design of MEA is made with an …
Systems engineering for industrial cyber–physical systems using aspects
One of the biggest challenges in cyber-physical system (CPS) design is their intrinsic
complexity, heterogeneity, and multidisciplinary nature. Emerging distributed CPSs integrate …
complexity, heterogeneity, and multidisciplinary nature. Emerging distributed CPSs integrate …