@conference {
	title = {Event-triggered Feedback Control for Signal Temporal Logic Tasks},
	author = {Lindemann, Lars., Maity, Dipankar., Baras, John S., Dimarogonas,Dimos.},
	year = {2018},
	month = {12/2018},
	address = {Miami, Florida},
	booktitle = { Conference on Decision and Control (CDC)2018}
}
@conference {
	title = {"State-dependent Data Queuing in Shared-resource Networked Control Systems"},
	author = {Mamduhi, Mohammad H., Baras, John S., Johansson, Karl Henrik., Hirche, Sandra.},
	year = {2018},
	month = {12/2018},
	abstract = {In the design of shared resource networked control systems (NCSs), resource managers play an important role to
appropriately allocate limited resources across the distributedsystem. They are often used to fairly distribute the limited bandwidth among the medium-sharing entities at the expense of delaying or discarding unnecessary data samples. Considering the rapidly growing volume of information that need to be exchanged, a relevant scenario for efficient resource management is state-dependent data buffering through network queues. In this paper, we propose state-dependent data buffering for shared-resource NCSs, such that both buffer input and output can be adjusted depending on the real-time conditions of the control systems and the communication network. We consider that the transmission decisions at the sensor side are taken by event-based schedulers, and that those data eventually sent for transmission are queued and processed, depending on the available communication resource. To improve the buffer service, we propose a state-dependent buffer discharge method, based on real-time feedback from the communication network. We derive sufficient stability conditions under which the overall NCS with the proposed cross-layer transmission scheme is stable in mean-square sense. Moreover, we show performance improvements resulting from our proposed design in comparison with its state-independent counterpart.},
	address = {Miami Beach, Florida},
	booktitle = {Conference on Decision and Control (CDC)2018}
}
@conference {
	title = {Non-Commutative Probability Models in Human Decision Making: Binary Hypothesis Testing},
	author = {Raghavan, Aneesh., Baras, John S.},
	year = {2018},
	month = {12/2018},
	abstract = {In this paper, we consider the binary hypothesis testing problem, as the simplest human
decision making problem, using a von-Neumann non-commutative probability framework.
We present two approaches to this decision making problem. In the rst approach, we represent
the available data as coming from measurements modeled via projection valued measures (PVM)
and retrieve the results of the underlying detection problem solved using classical probability
models. In the second approach, we represent the measurements using positive operator valued
measures (POVM). We prove that the minimum probability of error achieved in the second
approach is the same as in the rst approach.},
	address = {Miami, Florida},
	booktitle = {2nd IFAc Conference on Cyber-Physical \& Human-Systems (CPHS)2018}
}
@conference {
	title = {Model-Based Systems Engineering Applied to the Trajectory Planning for Autonomous Vehicles},
	author = {Bansal,Siddharth., Alimardani, Fatemeh., Baras, John S.},
	year = {2018},
	month = {10/2018},
	abstract = {Passing maneuver is a complex driving maneuver critical to success of autonomous vehicles. It becomes more challenging in two-way roads. In this study, a passing scenario with three vehicles is considered where car 1, an autonomous vehicle (AV), is moving behind car 2 (human-driven) in the same lane and car 3 (human-driven) is part of the oncoming traffic in the adjacent lane. The primary goal is to develop a framework to analyze measurement-based decision-making strategies for the AV satisfying driving safety constraints and while considering collaboration amongst drivers. The problem is structured using SysML to build a modular architecture with clearly defined interfaces and allocated behaviors. Mathematical models have been modeled in MATLAB. The integrated model of the car passing problem was then executed in MATLAB to study the effect of collaboration on safety of car 1 if car 1 decides to pass. It was observed that the controller of car 1 made the correct decision whether to execute the passing maneuver or not, based on the feasibility of the maneuver. When car 1 decided to pass, the collaboration between the autonomous vehicle and the humandriven vehicles reduced the crashes if car 1{\textquoteright}s decision was erroneous due to measurement noise. The work demonstrates how a Model-Based Systems Engineering approach can be used in the context of the car passing problem to manage complexity, developing virtual prototypes for analysis and deriving design requirements for autonomous vehicles.},
	address = {Rome, Italy},
	booktitle = {2018 IEEE International Systems Engineering Symposium (ISSE)}
}
@conference {
	title = {SysML Executable Model of an Energy-Efficient House and Trade-Off Analysis},
	author = {Cawasji, Kersasp., Baras, John S.},
	year = {2018},
	month = {10/2018},
	abstract = {With the growing complexity of energy efficient buildings, the methods of modeling and simulating such structures must account for monitoring several thousand design parameters across multiple diverse domains. As a result, modeling tools are now very specific to their respective domains and are growing more and more incongruous with each other. This calls for a way to integrate multiple modeling tools in the effort to create a single, large model capable of encapsulating data from multiple, different models. Thus, in this paper, different methods to perform an integration with Systems Modeling Language (SysML) and a simulation tool were identified, described and evaluated. Then, a new method was developed and discussed. Finally, the new method was demonstrated by developing a SysML executable model of a simple two-room house. Using the Functional Mock-up Interface (FMI) standard, the SysML model is integrated with a Modelica model, and a simulation is run in Simulink. Finally, a tradeoff analysis was performed for the purpose of design space exploration.},
	address = {Rome, Italy},
	booktitle = {2018 IEEE International Systems Engineering Symposium (ISSE)}
}
@conference {
	title = {A Stochastic programming approach for multi-appointment outpatient scheduling in cardiology},
	author = {Apergi, Lida A., Baras, John S., Wood, Kenneth., Golden, Bruce L.},
	year = {2018},
	month = {07/2018},
	abstract = {This research tackles the problem of multi-appointment scheduling in a healthcare environment with limited resources. Considering elective outpatient procedures in the cardiology department of a large medical center, where patients have to visit the hospital on multiple occasions to go through the required tests and treatments, a model is designed and developed towards optimizing the allocation of the available resources to the patients. The objective is to minimize the weighted combination of the number of visits that the patients have to make to the hospital until the completion of the program they are going through and the time that the outpatients spend in the hospital while waiting in between appointments. Constraints taken into account include the availability of the patients and the required resources, the sequencing of the procedures, and the recovery time that should be provided to patients between procedures. Stochastic programming techniques are applied to optimize the scheduling decisions over time.},
	address = {Valencia, Spain},
	booktitle = {29th European Conference on Operational Research}
}
@conference {
	title = {Event-Triggered Controller Synthesis for Dynamical Systems withTemporal Logic Constraints},
	author = {Maity, Dipankar., Baras, John S.},
	year = {2018},
	month = {06/2018},
	abstract = {In this work, we propose an event-triggered control framework for dynamical systems with temporal logical constraints. Event-triggered control methodologies have proven to be very efficient in reducing sensing, communication and computation costs. When a continuous feedback control is replaced with an event-triggered strategy, the corresponding state trajectories also differ. In a system with logical constraints, such small deviation in the trajectory might lead to unsatisfiability of the logical constraints. In this work, we develop an approach where we ensure that the event-triggered state trajectory is confined within an ~tube of the ideal trajectory associated with the continuous state feedback. At the same time, we will ensure satisfiability of the logical constraints as well. Furthermore, we show that the proposed method works for delayed systems as long as the delay is bounded by a certain quantity.},
	address = {Milwaukee USA},
	booktitle = {2018 American Control Conference},
	pages = {pg. 1134-1138}
}
@conference {
	title = {Stochastic Control Formulation of The Car Overtake Problem},
	author = {Raghavan, Aneesh., Wei, Jieqiang., Baras, John S., Johansson, Karl Henrik.},
	year = {2018},
	month = {06/2018},
	abstract = {~In this paper, we consider the classic car overtake problem. There are three cars, two moving along the same direction in the same lane while the third car moves in the direction opposite to that of the first two cars in the adjacent lane. The objective of the trailing car is to overtake the car in front of it avoiding collision with the other cars in the scenario. The information available to the trailing car is the relative position, relative velocities with respect to other cars and its position and past actions. The relative position and relative velocity information is corrupted by noise. Given this information, the car needs to make a decision as to whether it wants to overtake or not. We present a control algorithm for the car which minimizes the probability of collision with both the cars. We also present the results obtained by simulating the above scenario with the control algorithm. Through simulations we study the effect of the variance of the measurement noise and the time at which the decision is made on the probability of collision.},
	address = {Savona, Italy},
	booktitle = {15th IFAC Symposium on Control in Transportation Systems},
	pages = {pp. 124-129}
}
@conference {
	title = {LQG Control via Wireless sensor Networks with Minimal Transmission Power},
	author = {Soleymani, Touraj., Hirche, Sandra., Baras, John S.},
	year = {2018},
	month = {05/2018},
	abstract = {This study concerns control of dynamical systems via wireless sensor nodes with minimal transmission power. In particular, we jointly design a controller and a transmission power control mechanism that adjusts the transmit power of a wireless sensor node. We develop a framework for achieving the minimum expected transmit power required for a specific level of the LQG control performance.We model the communication channel between the wireless sensor node and the controller by an AWGN channel compatible with the IEEE 802.15.4 standard, which was formed for the specification of low-data-rate and low-power wireless communication. We use dynamic programming to characterize the optimal policies, and show that there exists a separation between the designs of the optimal estimator, optimal controller, and optimal transmission power control mechanism.},
	address = {Sorrento Coast, Italy},
	booktitle = {14th Workshop on Discrete Event systems(WODES 2018)},
	pages = {pp. 62-67}
}
@conference {
	title = {Rethinking Service Chain Embedding for Cellular Network Slicing},
	author = {Papagianni, Chrysa. , Panagiotis, Papadimitriou., Baras, John S.},
	year = {2018},
	month = {05/2018},
	abstract = {5G is set out to address the business contexts of 2020 and beyond, by enabling new network and service capabilities. The industry consensus is that 5G will facilitate ubiquitous connectivity seamlessly integrating wireless technologies and complementary communication networks while operators will be capable of providing networks on a need-for-service basis. Furthermore, there is a need for operators to exploit new revenue sources and break the traditional business model of a single network infrastructure ownership, by supporting multi-tenancy. Network slicing can provide a solution towards this end; it is considered a key for meeting 5G{\textquoteright}s diverse requirements, including future-proof scalability and flexibility.

Provisioning and management of network slices in the transition from Long Term Evolution (LTE) to the emerging 5G systems poses the need for the mapping of service chains that express traffic and processing requirements of LTE slices. In this respect, we follow a different approach to the service chain mapping problem, promoting virtualized network function (NF) sharing among multiple service chains that are associated with a certain network slice. Using mixed-integer linear programming formulations, we show that our approach leads to reduced NF State and management overhead, compared to the common resource allocation practice in virtualized Radio Access Networks.},
	address = {Zurich, Switzerland},
	booktitle = {IFIP Networking 2018},
	pages = {253-261}
}
