00507nas a2200145 4500008004100000245010700041210006900148260001200217300001200229490000700241100001500248700002300263700002700286856004800313 2016 eng d00aComputationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems0 aComputationallyAware Switching Criteria for Hybrid Model Predict c04/2016 a479-4900 v131 aZhang, Kun1 aSprinkle, Jonathan1 aSanfelice, Ricardo, G. uhttp://dx.doi.org/10.1109/TASE.2016.252334100458nas a2200121 4500008004100000245010100041210006900142300001200211100001500223700002300238700002700261856004800288 2015 eng d00aComputationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach0 aComputationallyAware Control of Autonomous Vehicles A Hybrid Mod a503-5171 aZhang, Kun1 aSprinkle, Jonathan1 aSanfelice, Ricardo, G. uhttp://dx.doi.org/10.1007/s10514-015-9469-501370nas a2200133 4500008004100000245009700041210006900138260000900207300000800216520092800224100001501152700002301167856004601190 2014 eng d00aA Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation0 aClosedloop Modelbased Design Approach Based On Automatic Verific c2014 a1-63 a
Domain-specific modeling languages effectively constrain struc- tural concepts, but constraints that are not easily captured with structural constraints are still important to fix at design time. In practice these kinds of constraints are implicitly left to be carried out by the domain modelers. This paper explores the process of in- corporating system behavioral (not just structural) constraints into a DSML, and studies the way of generating feasible transformation solutions if those constraints fail, based on a transformation library constructed in advance. Our approach is to carry out the verifica- tion process through code generation, but utilize the results of veri- fication as an input to a model transformation generator. The output transformation then operates on the original model. As a case study, we applied the approach to finite state machine (FSM) models that control a cyber-physical system.
1 aZhang, Kun1 aSprinkle, Jonathan uhttp://dx.doi.org/10.1145/2688447.2688448