Browsing Electrical and Computer Engineering by Type "Conference Paper"
Now showing items 1-13 of 13
-
Cardinality Constrained Robust Optimization Applied to a Class of Interval Observers
(IEEE, 2014-07-21)We propose a linear programming-based method of interval observer design for systems with uncertain but bounded model parameters and initial conditions. We assume that each uncertain parameter in the system model is bounded ... -
Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis
(IEEE, 2019-02)Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ... -
Dual Conditions for Local Transverse Feedback Linearization
(IEEE, 2019-01-21)Given a control-affine system and a controlled invariant submanifold, the local transverse feedback linearization problem is to determine whether or not the system is locally feedback equivalent to a system whose dynamics ... -
Duetto: Latency Guarantees at Minimal Performance Cost
(IEEE Design, Automation and Test in Europe Conference (DATE), 2021-02-05)The management of shared hardware resources in multi-core platforms has been characterized by a fundamental trade-off: high-performance arbiters typically employed in COTS systems offer no worst-case guarantees, while ... -
DuoMC: Tight DRAM Latency Bounds with Shared Banks and Near-COTS Performance
(ACM International Symposium on Memory Systems (MEMSYS 2021), 2021-09-27)DRAM memory controllers (MCs) in COTS systems are designed primarily for average performance, offering no worst-case guarantees, while real-time MCs provide timing guarantees at the cost of a significant average performance ... -
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
(ACM, 2018-10)Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ... -
Extracting Counterexamples from Transitive-Closure-Based Model Checking
(IEEE, 2019)We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ... -
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models
(IEEE, 2019-09)Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ... -
Hybrid Virtual Holonomic Constraints for a 2-D.O.F. Bipedal Robot
(IEEE, 2015-06-25)We apply virtual holonomic constraints (VHCs) to a fully actuated Euler-Lagrange system with impacts : a bipedal walking robot consisting of a stance leg, swing leg and hip mass. We call these hybrid virtual holonomic ... -
A Local Solution to the Output Regulation Problem for Sampled-Data Systems on Commutative Matrix Lie Groups
(IEEE, 2018-08-16)We present a smooth nonlinear control law for a kinematic plant on commutative matrix Lie groups that achieves regulation, if the state tracking and estimation errors are initialized in a suitable neighbourhood of identity. ... -
Local synchronization of sampled-data systems on one-parameter Lie subgroups
(IEEE, 2017-07-03)We present a distributed nonlinear control law for synchronization of identical agents on one-parameter Lie subgroups. If the agents are initialized sufficiently close to one another, then synchronization is achieved ... -
Local transverse feedback linearization for nested sets
(IEEE, 2016-02-11)We study a local feedback equivalence problem for a nonlinear control-affine system with two nested, controlled invariant, embedded submanifolds in its state space. The main result of this paper gives necessary and sufficient ... -
UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams
(ACM/IEEE, 2019-09)Practitioners face cognitive challenges when using model editors to edit and debug UML models, which make them reluctant to adopt modelling. To assist practitioners in their modelling tasks, we have developed effective ...