IEEE

Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems

Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...
IEEE

Conversion Function Theory of DC–DC Switching Power Converters

Abstract: A new time domain modeling method for dc–dc switching power converters is introduced: conversion function theory of dc converters. This method is based on the concept of “wanted variables” ...
Marketplace

In office-to-housing conversions, New York City is leading by example

This time six years ago, just before the pandemic hit, office buildings were fuller than they are today. With many companies calling workers back to the office, vacancy rates have rebounded, but ...
C&EN

Accelerated Screening of Zeolites for Methanol-to-Propylene Conversion Using Machine Learning with Interpretable Selectivity Function

College of Chemistry, Chemical Engineering and Resource Utilization, Northeast Forestry University, Harbin 150040, P. R. China Center for Innovative Research in Synthetic Chemistry and Resource ...