@conference {
	title = {Event Based Control for Control Affine Nonlinear Systems: A Lyapunov Function Based Approach},
	author = {Maity, Dipankar., Baras, John S.},
	year = {2015},
	month = {12/2015},
	abstract = {In this paper, we propose an event based control~strategy for control affine nonlinear systems. The proposed~method ensures sufficient reduction in communication by only~invoking a communication when some event has occurred. The~error between the continuous state feedback nonlinear system~and the event based system can be bounded in an invariant~set. The upper bound of this error is derived which can be~controlled by appropriately choosing the parameters for the~event triggering function. This method is then applied to a~networked nonlinear system of inverted pendulum and a nonlinearizable~nonlinear system.},
	address = {Osaka, Japan},
	booktitle = {54th Conference on Control (CDC 2015)},
	pages = {pp. 3767-3772}
}
@conference {
	title = {Optimal Mission Planner with Timed Temporal Logic Constraints},
	author = {Zhou, Yuchen., Maity, Dipankar., Baras, John S.},
	year = {2015},
	month = {07/2015},
	abstract = {In this paper, we present an optimization-based~method for path planning of a mobile robot subject to time~bounded temporal constraints, in a dynamic environment.~Temporal logic (TL) can address very complex task specification~such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints.We then translate the MTL formulae into mixed~integer linear constraints and solve the associated optimization~problem using a mixed integer linear program solver. This~approach is different from the automata-based methods which generate a finite abstraction of the environment and dynamics,~and use an automata-theoretic approach to formally generate~a path that satisfies the TL specifications. We have applied~our approach on several case studies in complex dynamical~environments subjected to timed temporal specifications.},
	address = {Linz, Austria},
	booktitle = {European Control Conference (ECC15)},
	pages = {pp. 759-764}
}
@conference {
	title = {Event Based Control of Linear Systems with Stochastic Perturbations},
	author = {Maity, Dipankar., Baras, John S.},
	year = {2015},
	month = {06/2015},
	abstract = {In this paper, an event-based control strategy for~linear systems under disturbances is presented where the control~input generator generates a control which tries to mimic a state~feedback control between two successive events. The control input~is generated in such a way that the error between the state of~this system and the continuous state feedback system is bounded.~The event generator triggers an event based on this error and the~control input generator modifies its control function in such a way~that it makes sure that the error generated up to this triggering~instance is reduced to zero and thus it does not have any effect on~the future value of the state regardless of the stability of the plant.~It is also shown that under this event triggering mechanism, the~control input generator generates the control in such a way that~this error bound could be made arbitrarily small.~},
	address = {Krakow, Poland},
	booktitle = {1st IEEE International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP 2015)}
}
@conference {
	title = {Motion Planning in Dynamic Environment with Bounded Time Temporal Logic Specifications},
	author = {Maity, Dipankar., Baras, John S.},
	year = {2015},
	month = {06/2015},
	abstract = {In this paper, we consider the problem of robotic~motion planning that satisfies some bounded time high-level~specifications. Although temporal logic can efficiently express~high-level specifications such as coverage, obstacle avoidance,~temporal ordering of tasks etc., it fails to address~problems~with explicit timing constraints. The inherent limitations of~Linear Temporal Logic (LTL) to address problems with explicit timing constraints have been overcome by translating the~planning problem from the workspace of the robot to a~higher dimensional space called spacetime where the existing~LTL semantics and grammar are sufficient to mathematically~formulate the bounded time high-level specifications. A discrete~path will be generated, that will meet the specifications with all~timing constraints and, at the same time, it will optimize some~cost function. A continuous trajectory satisfying the continuous~dynamics of the robot will be generated from the discrete path~using proper control laws.},
	address = {Torremolinos, Spain},
	booktitle = {23rd Mediterranean Conference on Control and Automoation (MED 2015)},
	pages = {pp. 973-979}
}
